Εμφανίζονται 21 - 40 Αποτελέσματα από 1.446 για την αναζήτηση '"Logical Methods in Computer Science"', χρόνος αναζήτησης: 0,65δλ Περιορισμός αποτελεσμάτων
  1. 21
    Bisimulations Meet PCTL Equivalences for Probabilistic Automata

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

    Έκδοση 2013-06-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  2. 22
    No solvable lambda-value term left behind

    No solvable lambda-value term left behind ανά Á. García-Pérez, P. Nogueira

    Έκδοση 2016-06-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  3. 23
    A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

    A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct ανά Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

    Έκδοση 2024-01-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  4. 24
    Essential Convexity and Complexity of Semi-Algebraic Constraints

    Essential Convexity and Complexity of Semi-Algebraic Constraints ανά Manuel Bodirsky, Peter Jonsson, Timo von Oertzen

    Έκδοση 2012-10-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  5. 25
    Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

    Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules ανά Lars Fritsche, Jens Kosiol, Alexander Lauer, Adrian Möller, Andy Schürr

    Έκδοση 2024-09-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  6. 26
    The First-Order Theory of Ground Tree Rewrite Graphs

    The First-Order Theory of Ground Tree Rewrite Graphs ανά Stefan Göller, Markus Lohrey

    Έκδοση 2014-02-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  7. 27
    General Recursion via Coinductive Types

    General Recursion via Coinductive Types ανά Venanzio Capretta

    Έκδοση 2005-07-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  8. 28
    Integrity Constraints Revisited: From Exact to Approximate Implication

    Integrity Constraints Revisited: From Exact to Approximate Implication ανά Batya Kenig, Dan Suciu

    Έκδοση 2022-01-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  9. 29
    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 ανά Klaus Aehlig

    Έκδοση 2007-07-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  10. 30
    Local Redundancy in SAT: Generalizations of Blocked Clauses

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

    Έκδοση 2018-10-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  11. 31
    On the Complexity of Equivalence and Minimisation for Q-weighted Automata

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

    Έκδοση 2013-03-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  12. 32
    On Small Types in Univalent Foundations

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

    Έκδοση 2023-05-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  13. 33
    Controller Synthesis for Timeline-based Games

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

    Έκδοση 2024-08-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  14. 34
    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 ανά Prateek Karandikar, Philippe Schnoebelen

    Έκδοση 2019-04-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  15. 35
    FO Model Checking of Interval Graphs

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

    Έκδοση 2015-12-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  16. 36
    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

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

    Έκδοση 2021-03-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  17. 37
    Model Checking Probabilistic Timed Automata with One or Two Clocks

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

    Έκδοση 2008-09-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  18. 38
    Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

    Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ανά Beniamino Accattoli

    Έκδοση 2023-12-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  19. 39
    Petri Automata

    Petri Automata ανά Paul Brunet, Damien Pous

    Έκδοση 2017-09-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο
  20. 40
    Regular Separability of One Counter Automata

    Regular Separability of One Counter Automata ανά Wojciech Czerwiński, Sławomir Lasota

    Έκδοση 2019-06-01
    “…Logical Methods in Computer Science…”
    Λήψη πλήρους κειμένου
    Άρθρο

Εργαλεία αναζήτησης: