LIPIcs, Volume 288, CSL 2024, Complete Volume (English)
Free access
- New search for: Murano, Aniello
- Further information on Murano, Aniello:
- https://orcid.org/0000-0003-4876-3448
- New search for: Silva, Alexandra
- Further information on Silva, Alexandra:
- https://orcid.org/0000-0001-5014-9784
- New search for: Murano, Aniello
- Further information on Murano, Aniello:
- https://orcid.org/0000-0003-4876-3448
- New search for: Silva, Alexandra
- Further information on Silva, Alexandra:
- https://orcid.org/0000-0001-5014-9784
2024
-
ISBN:
-
ISSN:
- Conference Proceedings / Electronic Resource
-
Title:LIPIcs, Volume 288, CSL 2024, Complete Volume
-
Contributors:Murano, Aniello ( author , editor ) / Silva, Alexandra ( author , editor )
-
Published in:
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2024-02-07
-
Size:892 pages , 13952508 byte
-
Remarks:LIPIcs, Vol. 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), pages 1-892
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The Ackermann Award 2023Fernández, Maribel / Goubault-Larrecq, Jean / Kesner, Delia et al. | 2024
- 2
-
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)ten Cate, Balder et al. | 2024
- 3
-
Artificial Intelligence and Artificial Ignorance (Invited Talk)Gottlob, Georg et al. | 2024
- 4
-
Approximating Fixpoints of Approximated Functions (Invited Talk)König, Barbara et al. | 2024
- 5
-
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk)Kwiatkowska, Marta et al. | 2024
- 6
-
Logical Algorithmics: From Theory to Practice (Invited Talk)Vardi, Moshe Y. et al. | 2024
- 7
-
Semantic Bounds and Multi Types, RevisitedAccattoli, Beniamino et al. | 2024
- 8
-
Infinitary Cut-Elimination via Finite ApproximationsAcclavio, Matteo / Curzi, Gianluca / Guerrieri, Giulio et al. | 2024
- 9
-
Descriptive Complexity for Neural Networks via Boolean NetworksAhvonen, Veeti / Heiman, Damian / Kuusisto, Antti et al. | 2024
- 10
-
Enumerating Error Bounded Polytime Algorithms Through Arithmetical TheoriesAntonelli, Melissa / Dal Lago, Ugo / Davoli, Davide / Oitavem, Isabel / Pistone, Paolo et al. | 2024
- 11
-
Active Learning of Deterministic Transducers with Outputs in Arbitrary MonoidsAristote, Quentin et al. | 2024
- 12
-
Extending the WMSO+U Logic with Quantification over TuplesBadyl, Anita / Parys, Paweł et al. | 2024
- 13
-
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested CalculusBalbiani, Philippe / Gao, Han / Gencer, Çiğdem / Olivetti, Nicola et al. | 2024
- 14
-
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful ProgramsBarbarossa, Davide / Pistone, Paolo et al. | 2024
- 15
-
Expressivity Landscape for Logics with Probabilistic Interventionist CounterfactualsBarbero, Fausto / Virtema, Jonni et al. | 2024
- 16
-
A General Constructive Form of Higman’s LemmaBerardi, Stefano / Buriola, Gabriele / Schuster, Peter et al. | 2024
- 17
-
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and PrecisionBlanc, Manon / Bournez, Olivier et al. | 2024
- 18
-
From Local to Global Optimality in Concurrent Parity GamesBordais, Benjamin / Bouyer, Patricia / Le Roux, Stéphane et al. | 2024
- 19
-
Ehrenfeucht-Fraïssé Games in Semiring SemanticsBrinke, Sophie / Grädel, Erich / Mrkonjić, Lovro et al. | 2024
- 20
-
Quantum Circuit Completeness: Extensions and SimplificationsClément, Alexandre / Delorme, Noé / Perdrix, Simon / Vilmart, Renaud et al. | 2024
- 21
-
Reverse Tangent CategoriesCruttwell, Geoffrey / Lemay, Jean-Simon Pacaud et al. | 2024
- 22
-
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational SemanticsDas, Anupam / van der Giessen, Iris / Marin, Sonia et al. | 2024
- 23
-
Quantifiers Closed Under Partial PolymorphismsDawar, Anuj / Hella, Lauri et al. | 2024
- 24
-
The Worst-Case Complexity of Symmetric Strategy Improvementvan Dijk, Tom / Loho, Georg / Maat, Matthew T. et al. | 2024
- 25
-
The Produoidal Algebra of Process DecompositionEarnshaw, Matt / Hefford, James / Román, Mario et al. | 2024
- 26
-
Extensions and Limits of the Specker-Blatter TheoremFischer, Eldar / Makowsky, Johann A. et al. | 2024
- 27
-
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and TreewidthFluck, Eva / Seppelt, Tim / Spitzer, Gian Luca et al. | 2024
- 28
-
Realizability Models for Large CardinalsFontanella, Laura / Geoffroy, Guillaume / Matthews, Richard et al. | 2024
- 29
-
The Kleene-Post and Post’s Theorem in the Calculus of Inductive ConstructionsForster, Yannick / Kirst, Dominik / Mück, Niklas et al. | 2024
- 30
-
A Many-Sorted Epistemic Logic for Chromatic HypergraphsGoubault, Éric / Kniazev, Roman / Ledent, Jérémy et al. | 2024
- 31
-
Remarks on Parikh-Recognizable Omega-languagesGrobler, Mario / Sabellek, Leif / Siebertz, Sebastian et al. | 2024
- 32
-
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff GamesGutierrez, Julian / Lin, Anthony W. / Najib, Muhammad / Steeples, Thomas / Wooldridge, Michael et al. | 2024
- 33
-
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable StructuresHerrmann, Luisa / Peth, Vincent / Rudolph, Sebastian et al. | 2024
- 34
-
Energy Games over Totally Ordered GroupsKozachinskiy, Alexander et al. | 2024
- 35
-
QLTL Model-CheckingLaroussinie, François / Leclercq, Loriane / Sangnier, Arnaud et al. | 2024
- 36
-
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism IndistinguishabilityLichter, Moritz / Pago, Benedikt / Seppelt, Tim et al. | 2024
- 37
-
Confluence of Conditional Rewriting ModuloLucas, Salvador et al. | 2024
- 38
-
A First Order Theory of Diagram ChasingMahboubi, Assia / Piquerez, Matthieu et al. | 2024
- 39
-
What Monads Can and Cannot Do with a Bit of Extra TimeMøgelberg, Rasmus Ejlers / Zwart, Maaike Annebet et al. | 2024
- 40
-
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical RelationsMoreau, Vincent / Nguyễn, Lê Thành Dũng (Tito) et al. | 2024
- 41
-
Promise and Infinite-Domain Constraint SatisfactionMottet, Antoine et al. | 2024
- 42
-
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic ArithmeticNakata, Satoshi et al. | 2024
- 43
-
Coherence by Normalization for Linear Multicategorical StructuresOlimpieri, Federico et al. | 2024
- 44
-
Conservativity of Type Theory over Higher-Order ArithmeticOtten, Daniël / van den Berg, Benno et al. | 2024
- 45
-
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order LogicPlace, Thomas / Zeitoun, Marc et al. | 2024
- 46
-
Concurrent Stochastic Lossy Channel GamesStan, Daniel / Najib, Muhammad / Lin, Anthony Widjaja / Abdulla, Parosh Aziz et al. | 2024
- 47
-
Towards Univalent Reference Types: The Impact of Univalence on Denotational SemanticsSterling, Jonathan / Gratzer, Daniel / Birkedal, Lars et al. | 2024
- 48
-
Guarded Hybrid Team LogicsTritschler, Marius et al. | 2024