FoSSaCS (2)

Publications

2024

Balder ten Cate, Jesse Comer
Craig Interpolation for Decidable First-Order Fragments. FoSSaCS (2) (2024)
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
On Basic Feasible Functionals and the Interpretation Method. FoSSaCS (2) (2024)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. FoSSaCS (2) (2024)
Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter
From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. FoSSaCS (2) (2024)
Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. FoSSaCS (2) (2024)
Philip Saville
Clones, closed categories, and combinatory logic. FoSSaCS (2) (2024)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) (2024)
Andrei Draghici, Christoph Haase, Andrew Ryzhikov
Reachability in Fixed VASS: Expressiveness and Lower Bounds. FoSSaCS (2) (2024)
Beniamino Accattoli, Adrienne Lancelot
Light Genericity. FoSSaCS (2) (2024)
Luca Geatti, Alessio Mansutti, Angelo Montanari
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin
A Resolution-Based Interactive Proof System for UNSAT. FoSSaCS (2) (2024)
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
Dimension-Minimality and Primality of Counter Nets. FoSSaCS (2) (2024)

volume 14575, 2024

Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II FoSSaCS (2) 14575 (2024)