Showing 1,281 - 1,300 results of 1,460 for search 'Logical Methods in Computer Science', query time: 0.84s Refine Results
  1. 1281
    The Complexity of Aggregates over Extractions by Regular Expressions

    The Complexity of Aggregates over Extractions by Regular Expressions by Johannes Doleschal, Benny Kimelfeld, Wim Martens

    Published 2023-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  2. 1282
    The Complexity of Flat Freeze LTL

    The Complexity of Flat Freeze LTL by Benedikt Bollig, Karin Quaas, Arnaud Sangnier

    Published 2019-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  3. 1283
    Categorical structures for type theory in univalent foundations

    Categorical structures for type theory in univalent foundations by Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky

    Published 2018-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  4. 1284
    When Can We Answer Queries Using Result-Bounded Data Interfaces?

    When Can We Answer Queries Using Result-Bounded Data Interfaces? by Antoine Amarilli, Michael Benedikt

    Published 2022-06-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  5. 1285
    On the Expressiveness and Monitoring of Metric Temporal Logic

    On the Expressiveness and Monitoring of Metric Temporal Logic by Hsi-Ming Ho, Joël Ouaknine, James Worrell

    Published 2019-05-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  6. 1286
    The Derivational Complexity Induced by the Dependency Pair Method

    The Derivational Complexity Induced by the Dependency Pair Method by Georg Moser, Andreas Schnabl

    Published 2011-07-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  7. 1287
    Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

    Gluing resource proof-structures: inhabitation and inverting the Taylor expansion by Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

    Published 2022-04-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  8. 1288
    The syntactic side of autonomous categories enriched over generalised metric spaces

    The syntactic side of autonomous categories enriched over generalised metric spaces by Fredrik Dahlqvist, Renato Neves

    Published 2023-12-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  9. 1289
    The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable

    The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable by Bas Luttik, Fei Yang

    Published 2021-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  10. 1290
    Reasoning with Finite Sets and Cardinality Constraints in SMT

    Reasoning with Finite Sets and Cardinality Constraints in SMT by Kshitij Bansal, Clark Barrett, Andrew Reynolds, Cesare Tinelli

    Published 2018-11-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  11. 1291
    Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

    Bidirectional Runtime Enforcement of First-Order Branching-Time Properties by Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir

    Published 2023-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  12. 1292
    QRB-Domains and the Probabilistic Powerdomain

    QRB-Domains and the Probabilistic Powerdomain by Jean Goubault-Larrecq

    Published 2012-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  13. 1293
    Bounded Quantifier Instantiation for Checking Inductive Invariants

    Bounded Quantifier Instantiation for Checking Inductive Invariants by Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham

    Published 2019-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  14. 1294
    The degree structure of Weihrauch-reducibility

    The degree structure of Weihrauch-reducibility by Kojiro Higuchi, Arno Pauly

    Published 2013-04-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  15. 1295
    The role of logical interpretations in program development

    The role of logical interpretations in program development by Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa

    Published 2014-01-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  16. 1296
    Type classes for efficient exact real arithmetic in Coq

    Type classes for efficient exact real arithmetic in Coq by Robbert Krebbers, Bas Spitters

    Published 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  17. 1297
    Bounded Linear Logic, Revisited

    Bounded Linear Logic, Revisited by Ugo Dal Lago, Martin Hofmann

    Published 2010-12-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  18. 1298
    Enumerating Answers to First-Order Queries over Databases of Low Degree

    Enumerating Answers to First-Order Queries over Databases of Low Degree by Arnaud Durand, Nicole Schweikardt, Luc Segoufin

    Published 2022-05-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  19. 1299
    Separation Property for wB- and wS-regular Languages

    Separation Property for wB- and wS-regular Languages by Michał Skrzypczak

    Published 2014-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  20. 1300
    Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

    Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) by Giuseppe Castagna

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

Search Tools: