default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th FoSSaCS@ETAPS 2024: Luxembourg City, Luxembourg - Part II
- Naoki Kobayashi
, James Worrell:
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. Lecture Notes in Computer Science 14575, Springer 2024, ISBN 978-3-031-57230-2
Types and Programming Languages
- Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter:
From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. 3-23 - Beniamino Accattoli, Adrienne Lancelot:
Light Genericity. 24-46 - Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Logical Predicates in Higher-Order Mathematical Operational Semantics. 47-69 - Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale:
On Basic Feasible Functionals and the Interpretation Method. 70-91
Logic and Proofs
- Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. 95-115 - Philipp Czerner, Javier Esparza, Valentin Krasotin:
A Resolution-Based Interactive Proof System for UNSAT. 116-136 - Balder ten Cate, Jesse Comer:
Craig Interpolation for Decidable First-Order Fragments. 137-159 - Philip Saville:
Clones, closed categories, and combinatory logic. 160-181
Infinite-State Systems
- Andrei Draghici, Christoph Haase, Andrew Ryzhikov:
Reachability in Fixed VASS: Expressiveness and Lower Bounds. 185-205 - Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl:
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. 206-228 - Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun:
Dimension-Minimality and Primality of Counter Nets. 229-249 - Lucie Guillou, Corto Mascle, Nicolas Waldburger:
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. 250-270
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.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
