Log. Methods Comput. Sci.

Keyphrases

Publications

volume 20, number 1, 2024

Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon
Linear Programs with Conjunctive Database Queries. Log. Methods Comput. Sci. 20 (1) (2024)
Dylan McDermott, Alan Mycroft
Galois connecting call-by-value and call-by-name. Log. Methods Comput. Sci. 20 (1) (2024)
Erich Grädel, Niels Lücking, Matthias Naaf
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials. Log. Methods Comput. Sci. 20 (1) (2024)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. 20 (1) (2024)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. 20 (1) (2024)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. Log. Methods Comput. Sci. 20 (1) (2024)
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. Log. Methods Comput. Sci. 20 (1) (2024)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. Log. Methods Comput. Sci. 20 (1) (2024)
Natanael Alpay, Peter Jipsen, Melissa Sugimoto
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. Log. Methods Comput. Sci. 20 (1) (2024)
Delia Kesner, Loïc Peyrot, Daniel Ventura
Node Replication: Theory And Practice. Log. Methods Comput. Sci. 20 (1) (2024)
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20 (1) (2024)
Marc Hermes, Dominik Kirst
An Analysis of Tennenbaum's Theorem in Constructive Type Theory. Log. Methods Comput. Sci. 20 (1) (2024)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
Stabilized profunctors and stable species of structures. Log. Methods Comput. Sci. 20 (1) (2024)
Thomas Powell
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language. Log. Methods Comput. Sci. 20 (1) (2024)
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin
Depth lower bounds in Stabbing Planes for combinatorial principles. Log. Methods Comput. Sci. 20 (1) (2024)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. Log. Methods Comput. Sci. 20 (1) (2024)

volume 20, number 2, 2024

volume 20, number 3, 2024