Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csl/csl2024.bht:"
download as .bib file
@inproceedings{DBLP:conf/csl/000124,
author = {Barbara K{\"{o}}nig},
editor = {Aniello Murano and
Alexandra Silva},
title = {Approximating Fixpoints of Approximated Functions (Invited Talk)},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {4:1--4:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.4},
doi = {10.4230/LIPICS.CSL.2024.4},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/000124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0001LNSW24,
author = {Julian Gutierrez and
Anthony W. Lin and
Muhammad Najib and
Thomas Steeples and
Michael J. Wooldridge},
editor = {Aniello Murano and
Alexandra Silva},
title = {Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff
Games},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {32:1--32:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.32},
doi = {10.4230/LIPICS.CSL.2024.32},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/0001LNSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0001N24,
author = {Vincent Moreau and
L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n},
editor = {Aniello Murano and
Alexandra Silva},
title = {Syntactically and Semantically Regular Languages of {\(\lambda\)}-Terms
Coincide Through Logical Relations},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {40:1--40:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.40},
doi = {10.4230/LIPICS.CSL.2024.40},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/0001N24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0001PR24,
author = {Luisa Herrmann and
Vincent Peth and
Sebastian Rudolph},
editor = {Aniello Murano and
Alexandra Silva},
title = {Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic
to Monadic Second-Order Logic over Tree-Interpretable Structures},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {33:1--33:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.33},
doi = {10.4230/LIPICS.CSL.2024.33},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/0001PR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0002GM24,
author = {Anupam Das and
Iris van der Giessen and
Sonia Marin},
editor = {Aniello Murano and
Alexandra Silva},
title = {Intuitionistic G{\"{o}}del-L{\"{o}}b Logic, {\`{a}} la Simpson:
Labelled Systems and Birelational Semantics},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.22},
doi = {10.4230/LIPICS.CSL.2024.22},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/0002GM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0002KM24,
author = {Yannick Forster and
Dominik Kirst and
Niklas M{\"{u}}ck},
editor = {Aniello Murano and
Alexandra Silva},
title = {The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {29:1--29:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.29},
doi = {10.4230/LIPICS.CSL.2024.29},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/0002KM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Accattoli24,
author = {Beniamino Accattoli},
editor = {Aniello Murano and
Alexandra Silva},
title = {Semantic Bounds and Multi Types, Revisited},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {7:1--7:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.7},
doi = {10.4230/LIPICS.CSL.2024.7},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Accattoli24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AcclavioCG24,
author = {Matteo Acclavio and
Gianluca Curzi and
Giulio Guerrieri},
editor = {Aniello Murano and
Alexandra Silva},
title = {Infinitary Cut-Elimination via Finite Approximations},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {8:1--8:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.8},
doi = {10.4230/LIPICS.CSL.2024.8},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/AcclavioCG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AhvonenHK24,
author = {Veeti Ahvonen and
Damian Heiman and
Antti Kuusisto},
editor = {Aniello Murano and
Alexandra Silva},
title = {Descriptive Complexity for Neural Networks via Boolean Networks},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {9:1--9:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.9},
doi = {10.4230/LIPICS.CSL.2024.9},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/AhvonenHK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AntonelliLDOP24,
author = {Melissa Antonelli and
Ugo Dal Lago and
Davide Davoli and
Isabel Oitavem and
Paolo Pistone},
editor = {Aniello Murano and
Alexandra Silva},
title = {Enumerating Error Bounded Polytime Algorithms Through Arithmetical
Theories},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {10:1--10:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.10},
doi = {10.4230/LIPICS.CSL.2024.10},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/AntonelliLDOP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Aristote24,
author = {Quentin Aristote},
editor = {Aniello Murano and
Alexandra Silva},
title = {Active Learning of Deterministic Transducers with Outputs in Arbitrary
Monoids},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {11:1--11:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.11},
doi = {10.4230/LIPICS.CSL.2024.11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Aristote24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BadylP24,
author = {Anita Badyl and
Pawel Parys},
editor = {Aniello Murano and
Alexandra Silva},
title = {Extending the {WMSO+U} Logic with Quantification over Tuples},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {12:1--12:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.12},
doi = {10.4230/LIPICS.CSL.2024.12},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BadylP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BalbianiGGO24,
author = {Philippe Balbiani and
Han Gao and
{\c{C}}igdem Gencer and
Nicola Olivetti},
editor = {Aniello Murano and
Alexandra Silva},
title = {A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested
Calculus},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {13:1--13:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.13},
doi = {10.4230/LIPICS.CSL.2024.13},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BalbianiGGO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BarbarossaP24,
author = {Davide Barbarossa and
Paolo Pistone},
editor = {Aniello Murano and
Alexandra Silva},
title = {Tropical Mathematics and the Lambda-Calculus {I:} Metric and Differential
Analysis of Effectful Programs},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {14:1--14:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.14},
doi = {10.4230/LIPICS.CSL.2024.14},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BarbarossaP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BarberoV24,
author = {Fausto Barbero and
Jonni Virtema},
editor = {Aniello Murano and
Alexandra Silva},
title = {Expressivity Landscape for Logics with Probabilistic Interventionist
Counterfactuals},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {15:1--15:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.15},
doi = {10.4230/LIPICS.CSL.2024.15},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BarberoV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BerardiB024,
author = {Stefano Berardi and
Gabriele Buriola and
Peter Schuster},
editor = {Aniello Murano and
Alexandra Silva},
title = {A General Constructive Form of Higman's Lemma},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {16:1--16:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.16},
doi = {10.4230/LIPICS.CSL.2024.16},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BerardiB024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BlancB24,
author = {Manon Blanc and
Olivier Bournez},
editor = {Aniello Murano and
Alexandra Silva},
title = {Quantifiying the Robustness of Dynamical Systems. Relating Time and
Space to Length and Precision},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {17:1--17:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.17},
doi = {10.4230/LIPICS.CSL.2024.17},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BlancB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BordaisB024,
author = {Benjamin Bordais and
Patricia Bouyer and
St{\'{e}}phane Le Roux},
editor = {Aniello Murano and
Alexandra Silva},
title = {From Local to Global Optimality in Concurrent Parity Games},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {18:1--18:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.18},
doi = {10.4230/LIPICS.CSL.2024.18},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BordaisB024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BrinkeGM24,
author = {Sophie Brinke and
Erich Gr{\"{a}}del and
Lovro Mrkonjic},
editor = {Aniello Murano and
Alexandra Silva},
title = {Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Games in Semiring Semantics},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {19:1--19:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.19},
doi = {10.4230/LIPICS.CSL.2024.19},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BrinkeGM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Cate24,
author = {Balder ten Cate},
editor = {Aniello Murano and
Alexandra Silva},
title = {Craig Interpolation for Decidable Fragments of First-Order Logic (Invited
Talk)},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {2:1--2:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.2},
doi = {10.4230/LIPICS.CSL.2024.2},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Cate24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ClementDPV24,
author = {Alexandre Cl{\'{e}}ment and
No{\'{e}} Delorme and
Simon Perdrix and
Renaud Vilmart},
editor = {Aniello Murano and
Alexandra Silva},
title = {Quantum Circuit Completeness: Extensions and Simplifications},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {20:1--20:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.20},
doi = {10.4230/LIPICS.CSL.2024.20},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/ClementDPV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CruttwellL24,
author = {Geoff S. H. Cruttwell and
Jean{-}Simon Pacaud Lemay},
editor = {Aniello Murano and
Alexandra Silva},
title = {Reverse Tangent Categories},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {21:1--21:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.21},
doi = {10.4230/LIPICS.CSL.2024.21},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/CruttwellL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DawarH24,
author = {Anuj Dawar and
Lauri Hella},
editor = {Aniello Murano and
Alexandra Silva},
title = {Quantifiers Closed Under Partial Polymorphisms},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {23:1--23:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.23},
doi = {10.4230/LIPICS.CSL.2024.23},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/DawarH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DijkLM24,
author = {Tom van Dijk and
Georg Loho and
Matthew T. Maat},
editor = {Aniello Murano and
Alexandra Silva},
title = {The Worst-Case Complexity of Symmetric Strategy Improvement},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {24:1--24:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.24},
doi = {10.4230/LIPICS.CSL.2024.24},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DijkLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/EarnshawHR24,
author = {Matt Earnshaw and
James Hefford and
Mario Rom{\'{a}}n},
editor = {Aniello Murano and
Alexandra Silva},
title = {The Produoidal Algebra of Process Decomposition},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {25:1--25:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.25},
doi = {10.4230/LIPICS.CSL.2024.25},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/EarnshawHR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FernandezGK24,
author = {Maribel Fern{\'{a}}ndez and
Jean Goubault{-}Larrecq and
Delia Kesner},
editor = {Aniello Murano and
Alexandra Silva},
title = {The Ackermann Award 2023},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.1},
doi = {10.4230/LIPICS.CSL.2024.1},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/FernandezGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FischerM24,
author = {Eldar Fischer and
Johann A. Makowsky},
editor = {Aniello Murano and
Alexandra Silva},
title = {Extensions and Limits of the Specker-Blatter Theorem},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {26:1--26:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.26},
doi = {10.4230/LIPICS.CSL.2024.26},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/FischerM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FluckSS24,
author = {Eva Fluck and
Tim Seppelt and
Gian Luca Spitzer},
editor = {Aniello Murano and
Alexandra Silva},
title = {Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability
over Graphs of Bounded Treedepth and Treewidth},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.27},
doi = {10.4230/LIPICS.CSL.2024.27},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FluckSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FontanellaGM24,
author = {Laura Fontanella and
Guillaume Geoffroy and
Richard Matthews},
editor = {Aniello Murano and
Alexandra Silva},
title = {Realizability Models for Large Cardinals},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {28:1--28:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.28},
doi = {10.4230/LIPICS.CSL.2024.28},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/FontanellaGM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gottlob24,
author = {Georg Gottlob},
editor = {Aniello Murano and
Alexandra Silva},
title = {Artificial Intelligence and Artificial Ignorance (Invited Talk)},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.3},
doi = {10.4230/LIPICS.CSL.2024.3},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Gottlob24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GoubaultKL24,
author = {{\'{E}}ric Goubault and
Roman Kniazev and
J{\'{e}}r{\'{e}}my Ledent},
editor = {Aniello Murano and
Alexandra Silva},
title = {A Many-Sorted Epistemic Logic for Chromatic Hypergraphs},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {30:1--30:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.30},
doi = {10.4230/LIPICS.CSL.2024.30},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GoubaultKL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroblerSS24,
author = {Mario Grobler and
Leif Sabellek and
Sebastian Siebertz},
editor = {Aniello Murano and
Alexandra Silva},
title = {Remarks on Parikh-Recognizable Omega-languages},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {31:1--31:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.31},
doi = {10.4230/LIPICS.CSL.2024.31},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/GroblerSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kozachinskiy24,
author = {Alexander Kozachinskiy},
editor = {Aniello Murano and
Alexandra Silva},
title = {Energy Games over Totally Ordered Groups},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {34:1--34:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.34},
doi = {10.4230/LIPICS.CSL.2024.34},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Kozachinskiy24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kwiatkowska24,
author = {Marta Kwiatkowska},
editor = {Aniello Murano and
Alexandra Silva},
title = {Strategy Synthesis for Partially Observable Stochastic Games with
Neural Perception Mechanisms (Invited Talk)},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {5:1--5:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.5},
doi = {10.4230/LIPICS.CSL.2024.5},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Kwiatkowska24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LaroussinieLS24,
author = {Fran{\c{c}}ois Laroussinie and
Loriane Leclercq and
Arnaud Sangnier},
editor = {Aniello Murano and
Alexandra Silva},
title = {{QLTL} Model-Checking},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {35:1--35:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.35},
doi = {10.4230/LIPICS.CSL.2024.35},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/LaroussinieLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LichterPS24,
author = {Moritz Lichter and
Benedikt Pago and
Tim Seppelt},
editor = {Aniello Murano and
Alexandra Silva},
title = {Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism
Indistinguishability},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {36:1--36:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.36},
doi = {10.4230/LIPICS.CSL.2024.36},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/LichterPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lucas24,
author = {Salvador Lucas},
editor = {Aniello Murano and
Alexandra Silva},
title = {Confluence of Conditional Rewriting Modulo},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {37:1--37:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.37},
doi = {10.4230/LIPICS.CSL.2024.37},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Lucas24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MahboubiP24,
author = {Assia Mahboubi and
Matthieu Piquerez},
editor = {Aniello Murano and
Alexandra Silva},
title = {A First Order Theory of Diagram Chasing},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {38:1--38:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.38},
doi = {10.4230/LIPICS.CSL.2024.38},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/MahboubiP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MogelbergZ24,
author = {Rasmus Ejlers M{\o}gelberg and
Maaike Zwart},
editor = {Aniello Murano and
Alexandra Silva},
title = {What Monads Can and Cannot Do with a Bit of Extra Time},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {39:1--39:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.39},
doi = {10.4230/LIPICS.CSL.2024.39},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/MogelbergZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Mottet24,
author = {Antoine Mottet},
editor = {Aniello Murano and
Alexandra Silva},
title = {Promise and Infinite-Domain Constraint Satisfaction},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {41:1--41:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.41},
doi = {10.4230/LIPICS.CSL.2024.41},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Mottet24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Nakata24,
author = {Satoshi Nakata},
editor = {Aniello Murano and
Alexandra Silva},
title = {Local Operators in Topos Theory and Separation of Semi-Classical Axioms
in Intuitionistic Arithmetic},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {42:1--42:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.42},
doi = {10.4230/LIPICS.CSL.2024.42},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Nakata24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Olimpieri24,
author = {Federico Olimpieri},
editor = {Aniello Murano and
Alexandra Silva},
title = {Coherence by Normalization for Linear Multicategorical Structures},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {43:1--43:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.43},
doi = {10.4230/LIPICS.CSL.2024.43},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Olimpieri24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/OttenB24,
author = {Dani{\"{e}}l Otten and
Benno van den Berg},
editor = {Aniello Murano and
Alexandra Silva},
title = {Conservativity of Type Theory over Higher-Order Arithmetic},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {44:1--44:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.44},
doi = {10.4230/LIPICS.CSL.2024.44},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/OttenB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/PlaceZ24,
author = {Thomas Place and
Marc Zeitoun},
editor = {Aniello Murano and
Alexandra Silva},
title = {A Generic Characterization of Generalized Unary Temporal Logic and
Two-Variable First-Order Logic},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {45:1--45:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.45},
doi = {10.4230/LIPICS.CSL.2024.45},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/PlaceZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/StanNLA24,
author = {Daniel Stan and
Muhammad Najib and
Anthony Widjaja Lin and
Parosh Aziz Abdulla},
editor = {Aniello Murano and
Alexandra Silva},
title = {Concurrent Stochastic Lossy Channel Games},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {46:1--46:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.46},
doi = {10.4230/LIPICS.CSL.2024.46},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/StanNLA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SterlingGB24,
author = {Jonathan Sterling and
Daniel Gratzer and
Lars Birkedal},
editor = {Aniello Murano and
Alexandra Silva},
title = {Towards Univalent Reference Types: The Impact of Univalence on Denotational
Semantics},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {47:1--47:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.47},
doi = {10.4230/LIPICS.CSL.2024.47},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/SterlingGB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Tritschler24,
author = {Marius Tritschler},
editor = {Aniello Murano and
Alexandra Silva},
title = {Guarded Hybrid Team Logics},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {48:1--48:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.48},
doi = {10.4230/LIPICS.CSL.2024.48},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Tritschler24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Vardi24,
author = {Moshe Y. Vardi},
editor = {Aniello Murano and
Alexandra Silva},
title = {Logical Algorithmics: From Theory to Practice (Invited Talk)},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {6:1--6:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.6},
doi = {10.4230/LIPICS.CSL.2024.6},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Vardi24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/X24,
editor = {Aniello Murano and
Alexandra Silva},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {0:1--0:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.0},
doi = {10.4230/LIPICS.CSL.2024.0},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/X24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2024,
editor = {Aniello Murano and
Alexandra Silva},
title = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-310-2},
isbn = {978-3-95977-310-2},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-11 20:11 CEST from data curated 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:
