Visas 1 - 20 av 1 206 resultat för sökning '"Logic in computer science"', Sökningstid: 0,45s Förfina resultatet
  1. 1
    Unary negation

    Unary negation av Luc Segoufin, Balder ten Cate

    Publicerad 2013-09-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  2. 2
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    Publicerad 2023-10-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  3. 3
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

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

    Publicerad 2021-03-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  4. 4
    Reachability under Contextual Locking

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

    Publicerad 2013-09-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  5. 5
    Bisimulations Meet PCTL Equivalences for Probabilistic Automata

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

    Publicerad 2013-06-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  6. 6
    Local Redundancy in SAT: Generalizations of Blocked Clauses

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

    Publicerad 2018-10-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  7. 7
    Equational Reasonings in Wireless Network Gossip Protocols

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

    Publicerad 2018-09-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  8. 8
    Incarnation in Ludics and maximal cliques of paths

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

    Publicerad 2013-10-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  9. 9
    Multimodal Dependent Type Theory

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

    Publicerad 2021-07-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  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 av Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch

    Publicerad 2014-02-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  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 av Federico Aschieri

    Publicerad 2017-04-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  12. 12
    Positive Inductive-Recursive Definitions

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

    Publicerad 2015-03-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  13. 13
    Preservation theorems for Tarski's relation algebra

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

    Publicerad 2024-09-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  14. 14
    Definable decompositions for graphs of bounded linear cliquewidth

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

    Publicerad 2021-01-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  15. 15
    On the Satisfiability of Local First-Order Logics with Data

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

    Publicerad 2024-07-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  16. 16
    Presenting Distributive Laws

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

    Publicerad 2015-08-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  17. 17
    Initial Algebra Semantics for Cyclic Sharing Tree Structures

    Initial Algebra Semantics for Cyclic Sharing Tree Structures av Makoto Hamana

    Publicerad 2010-09-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  18. 18
    Service-Oriented Logic Programming

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

    Publicerad 2015-08-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  19. 19
    Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems

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

    Publicerad 2013-12-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel
  20. 20
    Verification for Timed Automata extended with Unbounded Discrete Data Structures

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

    Publicerad 2015-09-01
    Ämnen: “…computer science - logic in computer science…”
    Hämta fulltext
    Artikel

Sökverktyg: