Showing 41 - 60 results of 1,460 for search 'Logical Methods in Computer Science ', query time: 0.81s Refine Results
  1. 41
    Integrity Constraints Revisited: From Exact to Approximate Implication

    Integrity Constraints Revisited: From Exact to Approximate Implication by Batya Kenig, Dan Suciu

    Published 2022-01-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  2. 42
    A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata

    A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata by Klaus Aehlig

    Published 2007-07-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  3. 43
    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
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  4. 44
    On the Complexity of Equivalence and Minimisation for Q-weighted Automata

    On the Complexity of Equivalence and Minimisation for Q-weighted Automata by Stefan Kiefer, Andrzej Murawski, Joel Ouaknine, Bjoern Wachter, James Worrell

    Published 2013-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  5. 45
    On Small Types in Univalent Foundations

    On Small Types in Univalent Foundations by Tom de Jong, Martín Hötzel Escardó

    Published 2023-05-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  6. 46
    Controller Synthesis for Timeline-based Games

    Controller Synthesis for Timeline-based Games by Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti

    Published 2024-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  7. 47
    The height of piecewise-testable languages and the complexity of the logic of subwords

    The height of piecewise-testable languages and the complexity of the logic of subwords by Prateek Karandikar, Philippe Schnoebelen

    Published 2019-04-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  8. 48
    FO Model Checking of Interval Graphs

    FO Model Checking of Interval Graphs by Robert Ganian, Petr Hlineny, Daniel Kral, Jan Obdrzalek, Jarett Schwartz, Jakub Teska

    Published 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  9. 49
    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation by Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

    Published 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  10. 50
    Model Checking Probabilistic Timed Automata with One or Two Clocks

    Model Checking Probabilistic Timed Automata with One or Two Clocks by Marcin Jurdzinski, Francois Laroussinie, Jeremy Sproston

    Published 2008-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  11. 51
    Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

    Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic by Beniamino Accattoli

    Published 2023-12-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  12. 52
    Petri Automata

    Petri Automata by Paul Brunet, Damien Pous

    Published 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  13. 53
    Regular Separability of One Counter Automata

    Regular Separability of One Counter Automata by Wojciech Czerwiński, Sławomir Lasota

    Published 2019-06-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  14. 54
    On the relative proof complexity of deep inference via atomic flows

    On the relative proof complexity of deep inference via atomic flows by Anupam Das

    Published 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  15. 55
    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
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  16. 56
    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
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  17. 57
    Multimodal Dependent Type Theory

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

    Published 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  18. 58
    Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

    Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution by Olaf Beyersdorff, Benjamin Böhm

    Published 2023-04-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  19. 59
    Higher-dimensional automata modeling shared-variable systems

    Higher-dimensional automata modeling shared-variable systems by Thomas Kahl

    Published 2019-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  20. 60
    Edit Distance for Pushdown Automata

    Edit Distance for Pushdown Automata by Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop

    Published 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article

Search Tools: