Log. Methods Comput. Sci.

Keyphrases

Publications

volume 20, number 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)
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20 (1) (2024)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. Log. Methods Comput. Sci. 20 (1) (2024)
Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon
Linear Programs with Conjunctive Database Queries. 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)
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)
Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
Playing Safe, Ten Years Later. 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)
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)
Dylan McDermott, Alan Mycroft
Galois connecting call-by-value and call-by-name. Log. Methods Comput. Sci. 20 (1) (2024)
Michael Blondin, Javier Esparza
Separators in Continuous Petri Nets. Log. Methods Comput. Sci. 20 (1) (2024)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. Log. Methods Comput. Sci. 20 (1) (2024)
Leroy Chew, Friedrich Slivovsky
Towards Uniform Certification in QBF. Log. Methods Comput. Sci. 20 (1) (2024)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20 (1) (2024)
Bineet Ghosh, Étienne André
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. Log. Methods Comput. Sci. 20 (1) (2024)

volume 19, number 4, 2023