Stop the war!
Остановите войну!
for scientists:
default search action
Logical Methods in Computer Science, Volume 20
Volume 20, Number 1, 2024
- Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin:
Depth lower bounds in Stabbing Planes for combinatorial principles. - Bineet Ghosh, Étienne André:
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. - Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann:
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. - Christel Baier, Jakob Piribauer, Robin Ziemek:
Foundations of probability-raising causality in Markov decision processes. - Delia Kesner, Loïc Peyrot, Daniel Ventura:
Node Replication: Theory And Practice. - Kiraku Shintani, Nao Hirokawa:
Compositional Confluence Criteria. - Thomas Powell:
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language. - Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
Deciding Equations in the Time Warp Algebra. - Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon:
Linear Programs with Conjunctive Database Queries. - Thomas Colcombet, Nathanaël Fijalkow, Florian Horn:
Playing Safe, Ten Years Later. - Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
revTPL: The Reversible Temporal Process Language. - Natanael Alpay, Peter Jipsen, Melissa Sugimoto:
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. - Dylan McDermott, Alan Mycroft:
Galois connecting call-by-value and call-by-name. - Leroy Chew, Friedrich Slivovsky:
Towards Uniform Certification in QBF. - Michael Blondin, Javier Esparza:
Separators in Continuous Petri Nets. - Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. - Marcelo Fiore, Zeinab Galal, Hugo Paquet:
Stabilized profunctors and stable species of structures. - André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi:
Variable binding and substitution for (nameless) dummies. - Marc Hermes, Dominik Kirst:
An Analysis of Tennenbaum's Theorem in Constructive Type Theory. - Renaud Vilmart:
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. - Erich Grädel, Niels Lücking, Matthias Naaf:
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials. - Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. - Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
Volume 20, Number 2, 2024
- Francesco Dagnino, Francesco Gavazzo:
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. - Christian Antic:
Boolean proportions. - Jamie Tucker-Foltz:
Inapproximability of Unique Games in Fixed-Point Logic with Counting. - Eduardo Bonelli, Delia Kesner, Andrés Viso:
A Strong Bisimulation for a Classical Term Calculus.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.