default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd CSL 2024: Naples, Italy
- Aniello Murano
, Alexandra Silva:
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024. LIPIcs 288, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-310-2 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:14
- Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner:
The Ackermann Award 2023. 1:1-1:4 - Balder ten Cate:
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). 2:1-2:2 - Georg Gottlob:
Artificial Intelligence and Artificial Ignorance (Invited Talk). 3:1-3:1 - Barbara König:
Approximating Fixpoints of Approximated Functions (Invited Talk). 4:1-4:1 - Marta Kwiatkowska:
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). 5:1-5:2 - Moshe Y. Vardi:
Logical Algorithmics: From Theory to Practice (Invited Talk). 6:1-6:1 - Beniamino Accattoli:
Semantic Bounds and Multi Types, Revisited. 7:1-7:24 - Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri:
Infinitary Cut-Elimination via Finite Approximations. 8:1-8:19 - Veeti Ahvonen, Damian Heiman, Antti Kuusisto:
Descriptive Complexity for Neural Networks via Boolean Networks. 9:1-9:22 - Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone:
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. 10:1-10:19 - Quentin Aristote:
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids. 11:1-11:20 - Anita Badyl, Pawel Parys:
Extending the WMSO+U Logic with Quantification over Tuples. 12:1-12:20 - Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti:
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. 13:1-13:21 - Davide Barbarossa, Paolo Pistone:
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. 14:1-14:23 - Fausto Barbero, Jonni Virtema:
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. 15:1-15:19 - Stefano Berardi, Gabriele Buriola, Peter Schuster:
A General Constructive Form of Higman's Lemma. 16:1-16:17 - Manon Blanc, Olivier Bournez:
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision. 17:1-17:20 - Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
From Local to Global Optimality in Concurrent Parity Games. 18:1-18:21 - Sophie Brinke, Erich Grädel, Lovro Mrkonjic:
Ehrenfeucht-Fraïssé Games in Semiring Semantics. 19:1-19:22 - Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart:
Quantum Circuit Completeness: Extensions and Simplifications. 20:1-20:23 - Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay:
Reverse Tangent Categories. 21:1-21:21 - Anupam Das, Iris van der Giessen, Sonia Marin:
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. 22:1-22:18 - Anuj Dawar, Lauri Hella:
Quantifiers Closed Under Partial Polymorphisms. 23:1-23:19 - Tom van Dijk, Georg Loho, Matthew T. Maat:
The Worst-Case Complexity of Symmetric Strategy Improvement. 24:1-24:19 - Matt Earnshaw, James Hefford, Mario Román:
The Produoidal Algebra of Process Decomposition. 25:1-25:19 - Eldar Fischer, Johann A. Makowsky:
Extensions and Limits of the Specker-Blatter Theorem. 26:1-26:20 - Eva Fluck, Tim Seppelt, Gian Luca Spitzer:
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. 27:1-27:17 - Laura Fontanella, Guillaume Geoffroy, Richard Matthews:
Realizability Models for Large Cardinals. 28:1-28:18 - Yannick Forster, Dominik Kirst, Niklas Mück:
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. 29:1-29:20 - Éric Goubault, Roman Kniazev, Jérémy Ledent:
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. 30:1-30:18 - Mario Grobler, Leif Sabellek, Sebastian Siebertz:
Remarks on Parikh-Recognizable Omega-languages. 31:1-31:21 - Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge:
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. 32:1-32:25 - Luisa Herrmann, Vincent Peth, Sebastian Rudolph:
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. 33:1-33:19 - Alexander Kozachinskiy:
Energy Games over Totally Ordered Groups. 34:1-34:12 - François Laroussinie, Loriane Leclercq, Arnaud Sangnier:
QLTL Model-Checking. 35:1-35:18 - Moritz Lichter, Benedikt Pago, Tim Seppelt:
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability. 36:1-36:19 - Salvador Lucas:
Confluence of Conditional Rewriting Modulo. 37:1-37:21 - Assia Mahboubi, Matthieu Piquerez:
A First Order Theory of Diagram Chasing. 38:1-38:19 - Rasmus Ejlers Møgelberg, Maaike Zwart:
What Monads Can and Cannot Do with a Bit of Extra Time. 39:1-39:18 - Vincent Moreau, Lê Thành Dung Nguyên:
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. 40:1-40:22 - Antoine Mottet:
Promise and Infinite-Domain Constraint Satisfaction. 41:1-41:19 - Satoshi Nakata:
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. 42:1-42:21 - Federico Olimpieri:
Coherence by Normalization for Linear Multicategorical Structures. 43:1-43:17 - Daniël Otten, Benno van den Berg:
Conservativity of Type Theory over Higher-Order Arithmetic. 44:1-44:23 - Thomas Place, Marc Zeitoun:
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic. 45:1-45:23 - Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla:
Concurrent Stochastic Lossy Channel Games. 46:1-46:19 - Jonathan Sterling, Daniel Gratzer, Lars Birkedal:
Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. 47:1-47:21 - Marius Tritschler:
Guarded Hybrid Team Logics. 48:1-48:22
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-09 23:36 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:
