@Proceedings{manea_et_al:LIPIcs.CSL.2022,
title = {{LIPIcs, Volume 216, CSL 2022, Complete Volume}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {1--684},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022},
URN = {urn:nbn:de:0030-drops-157199},
doi = {10.4230/LIPIcs.CSL.2022},
annote = {Keywords: LIPIcs, Volume 216, CSL 2022, Complete Volume}
}
@InProceedings{manea_et_al:LIPIcs.CSL.2022.0,
author = {Manea, Florin and Simpson, Alex},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {0:i--0:xx},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.0},
URN = {urn:nbn:de:0030-drops-157202},
doi = {10.4230/LIPIcs.CSL.2022.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{boker:LIPIcs.CSL.2022.1,
author = {Boker, Udi},
title = {{Between Deterministic and Nondeterministic Quantitative Automata}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {1:1--1:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.1},
URN = {urn:nbn:de:0030-drops-157218},
doi = {10.4230/LIPIcs.CSL.2022.1},
annote = {Keywords: Quantitative Automata, Measure of Nondeterminism, Determinism}
}
@InProceedings{fernandes_et_al:LIPIcs.CSL.2022.2,
author = {Fernandes, Natasha and McIver, Annabelle and Morgan, Carroll},
title = {{How to Develop an Intuition for Risk... and Other Invisible Phenomena}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {2:1--2:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.2},
URN = {urn:nbn:de:0030-drops-157227},
doi = {10.4230/LIPIcs.CSL.2022.2},
annote = {Keywords: Geometry, Quantitative Information Flow, Proof, Explainability, Privacy}
}
@InProceedings{abunassar_et_al:LIPIcs.CSL.2022.3,
author = {Abu Nassar, Antonio and Almagor, Shaull},
title = {{Simulation by Rounds of Letter-To-Letter Transducers}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {3:1--3:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.3},
URN = {urn:nbn:de:0030-drops-157231},
doi = {10.4230/LIPIcs.CSL.2022.3},
annote = {Keywords: Transducers, Permutations, Parikh, Simulation, Equivalence}
}
@InProceedings{accattoli_et_al:LIPIcs.CSL.2022.4,
author = {Accattoli, Beniamino and Leberle, Maico},
title = {{Useful Open Call-By-Need}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {4:1--4:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.4},
URN = {urn:nbn:de:0030-drops-157242},
doi = {10.4230/LIPIcs.CSL.2022.4},
annote = {Keywords: lambda calculus, call-by-need, operational semantics, sharing, cost models}
}
@InProceedings{baillon_et_al:LIPIcs.CSL.2022.5,
author = {Baillon, Martin and Mahboubi, Assia and P\'{e}drot, Pierre-Marie},
title = {{Gardening with the Pythia A Model of Continuity in a Dependent Setting}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {5:1--5:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.5},
URN = {urn:nbn:de:0030-drops-157256},
doi = {10.4230/LIPIcs.CSL.2022.5},
annote = {Keywords: Type theory, continuity, syntactic model}
}
@InProceedings{baudru_et_al:LIPIcs.CSL.2022.6,
author = {Baudru, Nicolas and Dando, Louis-Marie and Lhote, Nathan and Monmege, Benjamin and Reynier, Pierre-Alain and Talbot, Jean-Marc},
title = {{Weighted Automata and Expressions over Pre-Rational Monoids}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {6:1--6:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.6},
URN = {urn:nbn:de:0030-drops-157266},
doi = {10.4230/LIPIcs.CSL.2022.6},
annote = {Keywords: Weighted Automata and Expressions, Inverse Monoids, Two-Way Automata}
}
@InProceedings{bordais_et_al:LIPIcs.CSL.2022.7,
author = {Bordais, Benjamin and Bouyer, Patricia and Le Roux, St\'{e}phane},
title = {{Optimal Strategies in Concurrent Reachability Games}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {7:1--7:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.7},
URN = {urn:nbn:de:0030-drops-157278},
doi = {10.4230/LIPIcs.CSL.2022.7},
annote = {Keywords: Concurrent reachability games, Game forms, Optimal strategies}
}
@InProceedings{bouyer_et_al:LIPIcs.CSL.2022.8,
author = {Bouyer, Patricia and Le Roux, St\'{e}phane and Thomasset, Nathan},
title = {{Finite-Memory Strategies in Two-Player Infinite Games}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {8:1--8:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.8},
URN = {urn:nbn:de:0030-drops-157285},
doi = {10.4230/LIPIcs.CSL.2022.8},
annote = {Keywords: Two-player win/lose games, Infinite trees, Finite-memory winning strategies, Well partial orders, Hausdorff difference hierarchy}
}
@InProceedings{debrecht:LIPIcs.CSL.2022.9,
author = {de Brecht, Matthew},
title = {{Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {9:1--9:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.9},
URN = {urn:nbn:de:0030-drops-157293},
doi = {10.4230/LIPIcs.CSL.2022.9},
annote = {Keywords: Quasi-Polish spaces, space of valuations, domain theory, measure theory}
}
@InProceedings{brice_et_al:LIPIcs.CSL.2022.10,
author = {Brice, L\'{e}onard and Raskin, Jean-Fran\c{c}ois and van den Bogaard, Marie},
title = {{On the Complexity of SPEs in Parity Games}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {10:1--10:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.10},
URN = {urn:nbn:de:0030-drops-157306},
doi = {10.4230/LIPIcs.CSL.2022.10},
annote = {Keywords: Games on graphs, subgame-perfect equilibria, parity objectives}
}
@InProceedings{brunerie_et_al:LIPIcs.CSL.2022.11,
author = {Brunerie, Guillaume and Ljungstr\"{o}m, Axel and M\"{o}rtberg, Anders},
title = {{Synthetic Integral Cohomology in Cubical Agda}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {11:1--11:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.11},
URN = {urn:nbn:de:0030-drops-157310},
doi = {10.4230/LIPIcs.CSL.2022.11},
annote = {Keywords: Synthetic Homotopy Theory, Cohomology Theory, Cubical Agda}
}
@InProceedings{casares:LIPIcs.CSL.2022.12,
author = {Casares, Antonio},
title = {{On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {12:1--12:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.12},
URN = {urn:nbn:de:0030-drops-157322},
doi = {10.4230/LIPIcs.CSL.2022.12},
annote = {Keywords: Automata on Infinite Words, Games on Graphs, Arena-Independent Memory, Complexity}
}
@InProceedings{castelnovo_et_al:LIPIcs.CSL.2022.13,
author = {Castelnovo, Davide and Miculan, Marino},
title = {{Fuzzy Algebraic Theories}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {13:1--13:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.13},
URN = {urn:nbn:de:0030-drops-157332},
doi = {10.4230/LIPIcs.CSL.2022.13},
annote = {Keywords: categorical logic, fuzzy sets, algebraic reasoning, equational axiomatisations, monads, Eilenberg-Moore algebras}
}
@InProceedings{chen_et_al:LIPIcs.CSL.2022.14,
author = {Chen, Liang-Ting and Ko, Hsiang-Shang},
title = {{Realising Intensional S4 and GL Modalities}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {14:1--14:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.14},
URN = {urn:nbn:de:0030-drops-157341},
doi = {10.4230/LIPIcs.CSL.2022.14},
annote = {Keywords: provability, guarded recursion, realisability, modal types, metaprogramming}
}
@InProceedings{constantin_et_al:LIPIcs.CSL.2022.15,
author = {Constantin, Carmen and Dicaire, Nuiok and Heunen, Chris},
title = {{Localisable Monads}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {15:1--15:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.15},
URN = {urn:nbn:de:0030-drops-157353},
doi = {10.4230/LIPIcs.CSL.2022.15},
annote = {Keywords: Monad, Monoidal category, Presheaf, Central idempotent, Graded monad, Indexed monad, Formal monad, Strong monad, Commutative monad}
}
@InProceedings{dahlqvist_et_al:LIPIcs.CSL.2022.16,
author = {Dahlqvist, Fredrik and Neves, Renato},
title = {{An Internal Language for Categories Enriched over Generalised Metric Spaces}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {16:1--16:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.16},
URN = {urn:nbn:de:0030-drops-157362},
doi = {10.4230/LIPIcs.CSL.2022.16},
annote = {Keywords: \lambda-calculus, enriched category theory, quantale, equational theory}
}
@InProceedings{dawar_et_al:LIPIcs.CSL.2022.17,
author = {Dawar, Anuj and Sankaran, Abhisekh},
title = {{MSO Undecidability for Hereditary Classes of Unbounded Clique Width}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {17:1--17:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.17},
URN = {urn:nbn:de:0030-drops-157373},
doi = {10.4230/LIPIcs.CSL.2022.17},
annote = {Keywords: clique width, Seese’s conjecture, antichain, MSO interpretation, grid}
}
@InProceedings{dudenhefner:LIPIcs.CSL.2022.18,
author = {Dudenhefner, Andrej},
title = {{Constructive Many-One Reduction from the Halting Problem to Semi-Unification}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {18:1--18:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.18},
URN = {urn:nbn:de:0030-drops-157380},
doi = {10.4230/LIPIcs.CSL.2022.18},
annote = {Keywords: constructive mathematics, undecidability, mechanization, semi-unification}
}
@InProceedings{fernandezduque_et_al:LIPIcs.CSL.2022.19,
author = {Fern\'{a}ndez-Duque, David and Montacute, Yo\`{a}v},
title = {{Dynamic Cantor Derivative Logic}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {19:1--19:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.19},
URN = {urn:nbn:de:0030-drops-157397},
doi = {10.4230/LIPIcs.CSL.2022.19},
annote = {Keywords: dynamic topological logic, Cantor derivative, temporal logic, modal logic}
}
@InProceedings{finkbeiner_et_al:LIPIcs.CSL.2022.20,
author = {Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-R\"{u}diger},
title = {{Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {20:1--20:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.20},
URN = {urn:nbn:de:0030-drops-157400},
doi = {10.4230/LIPIcs.CSL.2022.20},
annote = {Keywords: Synthesis, distributed systems, reactive systems, Petri games, decidability}
}
@InProceedings{fisman_et_al:LIPIcs.CSL.2022.21,
author = {Fisman, Dana and Frenkel, Hadar and Zilles, Sandra},
title = {{Inferring Symbolic Automata}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {21:1--21:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.21},
URN = {urn:nbn:de:0030-drops-157412},
doi = {10.4230/LIPIcs.CSL.2022.21},
annote = {Keywords: Symbolic Finite State Automata, Query Learning, Characteristic Sets}
}
@InProceedings{gajarsky_et_al:LIPIcs.CSL.2022.22,
author = {Gajarsk\'{y}, Jakub and Gorsky, Maximilian and Kreutzer, Stephan},
title = {{Differential Games, Locality, and Model Checking for FO Logic of Graphs}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {22:1--22:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.22},
URN = {urn:nbn:de:0030-drops-157426},
doi = {10.4230/LIPIcs.CSL.2022.22},
annote = {Keywords: FO model checking, locality, Gaifman’s theorem, EF games}
}
@InProceedings{hazard_et_al:LIPIcs.CSL.2022.23,
author = {Hazard, Emile and Kuperberg, Denis},
title = {{Cyclic Proofs for Transfinite Expressions}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {23:1--23:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.23},
URN = {urn:nbn:de:0030-drops-157433},
doi = {10.4230/LIPIcs.CSL.2022.23},
annote = {Keywords: transfinite expressions, transfinite automata, cyclic proofs}
}
@InProceedings{hieronymi_et_al:LIPIcs.CSL.2022.24,
author = {Hieronymi, Philipp and Ma, Dun and Oei, Reed and Schaeffer, Luke and Schulz, Christian and Shallit, Jeffrey},
title = {{Decidability for Sturmian Words}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {24:1--24:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.24},
URN = {urn:nbn:de:0030-drops-157440},
doi = {10.4230/LIPIcs.CSL.2022.24},
annote = {Keywords: Decidability, Sturmian words, Ostrowski numeration systems, Automated theorem proving}
}
@InProceedings{jaber_et_al:LIPIcs.CSL.2022.25,
author = {Jaber, Guilhem and Sangiorgi, Davide},
title = {{Games, Mobile Processes, and Functions}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {25:1--25:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.25},
URN = {urn:nbn:de:0030-drops-157450},
doi = {10.4230/LIPIcs.CSL.2022.25},
annote = {Keywords: \lambda-calculus, \pi-calculus, game semantics}
}
@InProceedings{jacobedenaurois:LIPIcs.CSL.2022.26,
author = {Jacob\'{e} de Naurois, Paulin},
title = {{Parallelism in Soft Linear Logic}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {26:1--26:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.26},
URN = {urn:nbn:de:0030-drops-157468},
doi = {10.4230/LIPIcs.CSL.2022.26},
annote = {Keywords: Implicit Complexity, Typing, Linear Logic, Functional Programming}
}
@InProceedings{kesner_et_al:LIPIcs.CSL.2022.27,
author = {Kesner, Delia and Viso, Andr\'{e}s},
title = {{Encoding Tight Typing in a Unified Framework}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {27:1--27:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.27},
URN = {urn:nbn:de:0030-drops-157479},
doi = {10.4230/LIPIcs.CSL.2022.27},
annote = {Keywords: Call-by-Push-Value, Call-by-Name, Call-by-Value, Intersection Types}
}
@InProceedings{kovacs:LIPIcs.CSL.2022.28,
author = {Kov\'{a}cs, Andr\'{a}s},
title = {{Generalized Universe Hierarchies and First-Class Universe Levels}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {28:1--28:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.28},
URN = {urn:nbn:de:0030-drops-157485},
doi = {10.4230/LIPIcs.CSL.2022.28},
annote = {Keywords: type theory, universes}
}
@InProceedings{kupke_et_al:LIPIcs.CSL.2022.29,
author = {Kupke, Clemens and Marti, Johannes and Venema, Yde},
title = {{Succinct Graph Representations of \mu-Calculus Formulas}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {29:1--29:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.29},
URN = {urn:nbn:de:0030-drops-157491},
doi = {10.4230/LIPIcs.CSL.2022.29},
annote = {Keywords: modal mu-calculus, model checking, alternating tree automata, hierachical equation systems}
}
@InProceedings{nakamura:LIPIcs.CSL.2022.30,
author = {Nakamura, Yoshiki},
title = {{Spatial Existential Positive Logics for Hyperedge Replacement Grammars}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {30:1--30:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.30},
URN = {urn:nbn:de:0030-drops-157504},
doi = {10.4230/LIPIcs.CSL.2022.30},
annote = {Keywords: Existential positive logic, spatial logic, Kleene theorem}
}
@InProceedings{nesetril_et_al:LIPIcs.CSL.2022.31,
author = {Ne\v{s}et\v{r}il, Jaroslav and Ossona de Mendez, Patrice and Siebertz, Sebastian},
title = {{Structural Properties of the First-Order Transduction Quasiorder}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {31:1--31:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.31},
URN = {urn:nbn:de:0030-drops-157514},
doi = {10.4230/LIPIcs.CSL.2022.31},
annote = {Keywords: Finite model theory, first-order transductions, structural graph theory}
}
@InProceedings{nguyen_et_al:LIPIcs.CSL.2022.32,
author = {Nguy\~{ê}n, L\^{e} Th\`{a}nh D\~{u}ng (Tito) and Stra{\ss}burger, Lutz},
title = {{BV and Pomset Logic Are Not the Same}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {32:1--32:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.32},
URN = {urn:nbn:de:0030-drops-157521},
doi = {10.4230/LIPIcs.CSL.2022.32},
annote = {Keywords: proof nets, deep inference, pomset logic, system BV, cographs, dicographs, series-parallel orders}
}
@InProceedings{perez_et_al:LIPIcs.CSL.2022.33,
author = {P\'{e}rez, Guillermo A. and Raha, Ritam},
title = {{Revisiting Parameter Synthesis for One-Counter Automata}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {33:1--33:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.33},
URN = {urn:nbn:de:0030-drops-157534},
doi = {10.4230/LIPIcs.CSL.2022.33},
annote = {Keywords: Parametric one-counter automata, Reachability, Software Verification}
}
@InProceedings{schirrmacher_et_al:LIPIcs.CSL.2022.34,
author = {Schirrmacher, Nicole and Siebertz, Sebastian and Vigny, Alexandre},
title = {{First-Order Logic with Connectivity Operators}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {34:1--34:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.34},
URN = {urn:nbn:de:0030-drops-157548},
doi = {10.4230/LIPIcs.CSL.2022.34},
annote = {Keywords: First-order logic, graph theory, connectivity}
}
@InProceedings{tomita:LIPIcs.CSL.2022.35,
author = {Tomita, Haruka},
title = {{Planar Realizability via Left and Right Applications}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {35:1--35:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.35},
URN = {urn:nbn:de:0030-drops-157558},
doi = {10.4230/LIPIcs.CSL.2022.35},
annote = {Keywords: Realizability, combinatory algebra, monoidal bi-closed category, exponential modality, exchange modality}
}
@InProceedings{toran_et_al:LIPIcs.CSL.2022.36,
author = {Tor\'{a}n, Jacobo and W\"{o}rz, Florian},
title = {{Number of Variables for Graph Differentiation and the Resolution of GI Formulas}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {36:1--36:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.36},
URN = {urn:nbn:de:0030-drops-157564},
doi = {10.4230/LIPIcs.CSL.2022.36},
annote = {Keywords: Proof Complexity, Resolution, Narrow Width, Graph Isomorphism, k-variable fragment first-order logic 𝔏\underlinek, Immerman’s Pebble Game, Symmetry Rule, SRC-1}
}
@InProceedings{yernaux_et_al:LIPIcs.CSL.2022.37,
author = {Yernaux, Gonzague and Vanhoof, Wim},
title = {{Anti-Unification of Unordered Goals}},
booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
pages = {37:1--37:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-218-1},
ISSN = {1868-8969},
year = {2022},
volume = {216},
editor = {Manea, Florin and Simpson, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.37},
URN = {urn:nbn:de:0030-drops-157574},
doi = {10.4230/LIPIcs.CSL.2022.37},
annote = {Keywords: Anti-unification, Logic programming, NP-completeness, Time complexity, Algorithms, Inductive logic programming}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing