Search Results

    ArticlesSee all articles results »

    From journals and magazines

    1. A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LSxxBEG40Jy_RaCCaKE3wYAjjTvf0U0RYFxdXDPjCx6npZ_aQdcVHIP8-XT0zgjdvQ9PTM1T1TH1VXVUfQtuBeCKElFXtQqoYCSUJQFVJcq2dV3WwEIe8USd39PxCjfsE2VILc5_lvjvNuLOzAIN8XdXZM9ecyUW0qAQk7pHb0WskpW4aAMltRQwTVKvB6a_RZUX0Dtuj_AcQhL-xOqU5f7Yl0z52WmzJeAV97EAgHrZa-4QW4v0qWu4JFnD3va2hmyFuO4rjecIldteWIeDs_uPL0vn15THiyWSyh7O-MawADS6f_8ENh9dl3tl89hSf8f70AHiV_f5gevAZXY2PrkbHVceEUHmiZFNJHUq1BVE1V0LSFKiW0VrOnOcOQFCEI1QmOfci_8JIEMlm064yHkuubr4g7Jx1kYVoBbPZ5QiKeaqErYV2TdDar6OfvYTMQ9vowmQHocjT_Jn5J0O0YYZyA_JcR4cgxNeZ0KS6DMwff5tuzxvqeZ0aH1PMGDM54iwwlIqQlEtMhvzI71kFb9Y4Hp4aGOsV_pduvGfSV7QEbwVpJkR9Qx-yAuJmS--wVTbLVvG1_wO5wrr8

      by Straßburger, Lutz and Nguyên, Lê Thành Dũng

      Logical Methods In Computer Science, Volume 19, Issue 4, Issue 4.

      Journal Article : Full Text Online

    2. Effectful applicative similarity for call-by-name lambda calculi

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEA7Vkx6sVsH6YhFPwtok-8re1GopogdfqKeQ1-JKW4q2gv_emX1UCtKDXkMSdneGmW8e-w0hR5YZFsdJ4lNtMz9ktmgCEH6WRGmqjaBWYR7ySVy98Ns70es2SLf-FwbbKivbX9r0wlpXK53qa3bGed65x6IeeFOEIAB7ErTDgCZQs3sX5z_WOErKeiVWAGB3XdkserwmBhm7WVpkBHFa9u--aem1yLLyyuv0mmRUP2_Rcn1StpyUyYe5Xuya1PGfr7ZO1ip86p2V-zZIw41apFnPfvAqU9AiqzczvtePTXJakiBn04E3q4h_Ou8jH-YQOQPQ9wAbe6AOA19_-SM1dB5oorYK18x0kG-Rx97lQ7fvV7MZfAMB9cSPhI2CNBSaq4DqLMocBD4Zkv8pzjRPjHCKWwf4Amcb09AEQlFjWcZoFijAENvE01ppF1qn4lBBFGRFaLiIFY1THdg0NW1Ca3FIUzGW4-CMgaxb094kSFCiBCXjEiTYJsezI-OSrmPR5rCWsZwTjAR3sujYIejD7Hrk5-6fXUtcoxzhdhp-sp2_3b1LVjgG9EVr0B5ZnrxP3X45p-IAwP9z96DQ7m9SXQC8

      by Dal Lago, Ugo; Tanaka, Ryo and Gavazzo, Francesco

      Theoretical Computer Science, Volume 813, pp. 234 - 247

      Journal Article : Full Text Online

      View Article PDF

    3. Dynamic Cantor Derivative Logic

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV3LSgMxFA3iyo1vsL6YhYgioZNHM4mUgrYWcaco4irkSRcqpVa_35tkKnXlxm0mhMy5mbnnhuQchE48cUSIpsG19RFz4vMhAIlj01PKOll7k_Yhn-XdC71_kOPhktVXOhNW5IELcF1YcKzXkJAMZbmKVjHvgpQqROMcy361FKrypWIq_4MZS8S53JLhgirZfX1zH5ioM35JxXkyDf-ViRaC_azNLONNtN5SwuqqTGULrYT3bbSxsFuo2q9vB52Oint8NUzGv7NqBIvnK-t2V_3JIJkmu353MthFT-Obx-Etbm0OsGO1nOPoJOXGK0MCZEtT01hbSPoxEEtsY4m0Ch6qQI0FNtCLQTBvAAvoGxjwBbaHKmuNDdwHaDdQUHjJHZUwllCWeaVcB10s3lVPi4yFBvqfkdEJGU2U5poKnZDpoOsEx0_PJEGdGyAwug2M_isw-_8xyAFaSxMqex6HaHU--wxHxbfhOEf8Gyadrmw

      by Montacute, Yoàv and Fernández-Duque, David

      Logical Methods In Computer Science, Volume 19, Issue 4.

      Journal Article : Full Text Online

    See all 190,018 Articles results

    Back to results navigation

    Books & MediaSee all books & media results »

    Books, music, movies and more

    1. Logic in Computer Science

      https://find.library.duke.edu/catalog/DUKE99119707919208501

      by Hantao Zhang, Jian Zhang.

      Book : View Online

      cover thumbnail

    2. Mathematical logic in computer science

      https://find.library.duke.edu/catalog/DUKE000488863

      edited by B. Dömölki and T. Gergely.

      Book

      This item is currently Available Library Service Center, 519.4 M426, 1981 c.1

      cover thumbnail

    3. Logic in Computer Science: Proceedings: Symposium on Logic in Computer Science (14th, 1999: (...)

      https://find.library.duke.edu/catalog/DUKE99119384322108501

      Book : View Online

      cover thumbnail

    See all 5,149 Books & Media results

    Back to results navigation

    Our WebsiteSee all website results »

    Guides, policies, news more

    1. Women at the Center - Issue 1, Spring 2001

      https://library.duke.edu/sites/default/files/rubenstein/pdf/womenatthecenter/wc-01.pdf

      The word "zine" is derived from "fanzine," a term which originated with the science fiction fan magazines of the 1930s and '40s.

    2. Coding With AI - ChatGPT & Generative AI Tools Collaborative Guide - LibGuides at Duke University

      https://guides.library.duke.edu/c.php?g=1351161&p=10927318

      CHATGPT IN ENGINEERING AND COMPUTER SCIENCE CODING Students use ChatGPT and AI tools for: Software Development – AI speeds up (...)

    3. Assessing Programming Skills Online - Duke Learning Innovation & Lifetime Education

      https://learninginnovation.duke.edu/blog/2016/02/assessing-programming-skills-online/

      Assessing Programming Skills Online - Duke Learning Innovation & Lifetime Education Skip to content Search Contact Us Subscribe Menu What We (...)

    See all 14 website results

    Back to results navigation

    Manuscript Collections

    Find books, manuscripts, and archive materials from Rubenstein Library

    Collection Guides

    Detailed inventories of archival collections

    No Collection Guides results found for Logic in computer science

    Try another search »

    Try another search »

    Archival Materials

    Manuscripts and archival materials

    No Archival Materials results found for Logic in computer science

    Try another search »

    Try another search »

    Some materials and descriptions may include offensive content. More info

    More Search Options

    Need help? Ask a Librarian!