Showing 1 - 20 results of 1,192 for search '"computer science - logic in computer science"', query time: 1.06s Refine Results
  1. 1
    Unary negation

    Unary negation by Luc Segoufin, Balder ten Cate

    Published 2013-09-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  2. 2
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) by Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

    Published 2023-10-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  3. 3
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

    Reconfiguration and Message Losses in Parameterized Broadcast Networks by Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

    Published 2021-03-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  4. 4
    Reachability under Contextual Locking

    Reachability under Contextual Locking by Remi Bonnet, Rohit Chadha, Mahesh Viswanathan, P. Madhusudan

    Published 2013-09-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  5. 5
    Bisimulations Meet PCTL Equivalences for Probabilistic Automata

    Bisimulations Meet PCTL Equivalences for Probabilistic Automata by Lei Song, Lijun Zhang, Jens Chr. Godskesen, Flemming Nielson

    Published 2013-06-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  6. 6
    Local Redundancy in SAT: Generalizations of Blocked Clauses

    Local Redundancy in SAT: Generalizations of Blocked Clauses by Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

    Published 2018-10-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  7. 7
    Equational Reasonings in Wireless Network Gossip Protocols

    Equational Reasonings in Wireless Network Gossip Protocols by Ruggero Lanotte, Massimo Merro, Simone Tini

    Published 2018-09-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  8. 8
    Incarnation in Ludics and maximal cliques of paths

    Incarnation in Ludics and maximal cliques of paths by Myriam Quatrini, Christophe Fouqueré

    Published 2013-10-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  9. 9
    Multimodal Dependent Type Theory

    Multimodal Dependent Type Theory by Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal

    Published 2021-07-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  10. 10
    Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

    Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining by Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch

    Published 2014-02-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  11. 11
    On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

    On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC by Federico Aschieri

    Published 2017-04-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  12. 12
    Positive Inductive-Recursive Definitions

    Positive Inductive-Recursive Definitions by Neil Ghani, Fredrik Nordvall Forsberg, Lorenzo Malatesta

    Published 2015-03-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  13. 13
    Preservation theorems for Tarski's relation algebra

    Preservation theorems for Tarski's relation algebra by Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche

    Published 2024-09-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  14. 14
    Definable decompositions for graphs of bounded linear cliquewidth

    Definable decompositions for graphs of bounded linear cliquewidth by Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk

    Published 2021-01-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  15. 15
    On the Satisfiability of Local First-Order Logics with Data

    On the Satisfiability of Local First-Order Logics with Data by Benedikt Bollig, Arnaud Sangnier, Olivier Stietel

    Published 2024-07-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  16. 16
    Presenting Distributive Laws

    Presenting Distributive Laws by Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot

    Published 2015-08-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  17. 17
    Initial Algebra Semantics for Cyclic Sharing Tree Structures

    Initial Algebra Semantics for Cyclic Sharing Tree Structures by Makoto Hamana

    Published 2010-09-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  18. 18
    Service-Oriented Logic Programming

    Service-Oriented Logic Programming by Ionut Tutu, Jose Luiz Fiadeiro

    Published 2015-08-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  19. 19
    Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems

    Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems by Henning Kerstan, Barbara König

    Published 2013-12-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article
  20. 20
    Verification for Timed Automata extended with Unbounded Discrete Data Structures

    Verification for Timed Automata extended with Unbounded Discrete Data Structures by Karin Quaas

    Published 2015-09-01
    Subjects: “…computer science - logic in computer science…”
    Get full text
    Article

Search Tools: