Abstract is missing.
- From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo TheoryValentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter. 3-23 [doi]
- Light GenericityBeniamino Accattoli, Adrienne Lancelot. 24-46 [doi]
- Logical Predicates in Higher-Order Mathematical Operational SemanticsSergey Goncharov 0001, Alessio Santamaria, Lutz Schröder, Stelios Tsampas 0001, Henning Urbat. 47-69 [doi]
- On Basic Feasible Functionals and the Interpretation MethodPatrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale. 70-91 [doi]
- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof SystemsLuca Geatti, Alessio Mansutti, Angelo Montanari. 95-115 [doi]
- A Resolution-Based Interactive Proof System for UNSATPhilipp Czerner, Javier Esparza, Valentin Krasotin. 116-136 [doi]
- Craig Interpolation for Decidable First-Order FragmentsBalder ten Cate, Jesse Comer. 137-159 [doi]
- Clones, closed categories, and combinatory logicPhilip Saville. 160-181 [doi]
- Reachability in Fixed VASS: Expressiveness and Lower BoundsAndrei Draghici, Christoph Haase, Andrew Ryzhikov. 185-205 [doi]
- From Innermost to Full Almost-Sure Termination of Probabilistic Term RewritingJan-Christoph Kassing, Florian Frohn, Jürgen Giesl. 206-228 [doi]
- Dimension-Minimality and Primality of Counter NetsShaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun. 229-249 [doi]
- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of DecidabilityLucie Guillou, Corto Mascle, Nicolas Waldburger. 250-270 [doi]