<h2>LIPIcs, Volume 216, CSL 2022</h2>
<ul>
<li>
<span class="authors">Florin Manea and Alex Simpson</span>
<span class="title">LIPIcs, Volume 216, CSL 2022, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022">10.4230/LIPIcs.CSL.2022</a>
</li>
<li>
<span class="authors">Florin Manea and Alex Simpson</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.0">10.4230/LIPIcs.CSL.2022.0</a>
</li>
<li>
<span class="authors">Udi Boker</span>
<span class="title">Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.1">10.4230/LIPIcs.CSL.2022.1</a>
</li>
<li>
<span class="authors">Natasha Fernandes, Annabelle McIver, and Carroll Morgan</span>
<span class="title">How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.2">10.4230/LIPIcs.CSL.2022.2</a>
</li>
<li>
<span class="authors">Antonio Abu Nassar and Shaull Almagor</span>
<span class="title">Simulation by Rounds of Letter-To-Letter Transducers</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.3">10.4230/LIPIcs.CSL.2022.3</a>
</li>
<li>
<span class="authors">Beniamino Accattoli and Maico Leberle</span>
<span class="title">Useful Open Call-By-Need</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.4">10.4230/LIPIcs.CSL.2022.4</a>
</li>
<li>
<span class="authors">Martin Baillon, Assia Mahboubi, and Pierre-Marie Pédrot</span>
<span class="title">Gardening with the Pythia A Model of Continuity in a Dependent Setting</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.5">10.4230/LIPIcs.CSL.2022.5</a>
</li>
<li>
<span class="authors">Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, and Jean-Marc Talbot</span>
<span class="title">Weighted Automata and Expressions over Pre-Rational Monoids</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.6">10.4230/LIPIcs.CSL.2022.6</a>
</li>
<li>
<span class="authors">Benjamin Bordais, Patricia Bouyer, and Stéphane Le Roux</span>
<span class="title">Optimal Strategies in Concurrent Reachability Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.7">10.4230/LIPIcs.CSL.2022.7</a>
</li>
<li>
<span class="authors">Patricia Bouyer, Stéphane Le Roux, and Nathan Thomasset</span>
<span class="title">Finite-Memory Strategies in Two-Player Infinite Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.8">10.4230/LIPIcs.CSL.2022.8</a>
</li>
<li>
<span class="authors">Matthew de Brecht</span>
<span class="title">Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.9">10.4230/LIPIcs.CSL.2022.9</a>
</li>
<li>
<span class="authors">Léonard Brice, Jean-François Raskin, and Marie van den Bogaard</span>
<span class="title">On the Complexity of SPEs in Parity Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.10">10.4230/LIPIcs.CSL.2022.10</a>
</li>
<li>
<span class="authors">Guillaume Brunerie, Axel Ljungström, and Anders Mörtberg</span>
<span class="title">Synthetic Integral Cohomology in Cubical Agda</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.11">10.4230/LIPIcs.CSL.2022.11</a>
</li>
<li>
<span class="authors">Antonio Casares</span>
<span class="title">On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.12">10.4230/LIPIcs.CSL.2022.12</a>
</li>
<li>
<span class="authors">Davide Castelnovo and Marino Miculan</span>
<span class="title">Fuzzy Algebraic Theories</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.13">10.4230/LIPIcs.CSL.2022.13</a>
</li>
<li>
<span class="authors">Liang-Ting Chen and Hsiang-Shang Ko</span>
<span class="title">Realising Intensional S4 and GL Modalities</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.14">10.4230/LIPIcs.CSL.2022.14</a>
</li>
<li>
<span class="authors">Carmen Constantin, Nuiok Dicaire, and Chris Heunen</span>
<span class="title">Localisable Monads</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.15">10.4230/LIPIcs.CSL.2022.15</a>
</li>
<li>
<span class="authors">Fredrik Dahlqvist and Renato Neves</span>
<span class="title">An Internal Language for Categories Enriched over Generalised Metric Spaces</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.16">10.4230/LIPIcs.CSL.2022.16</a>
</li>
<li>
<span class="authors">Anuj Dawar and Abhisekh Sankaran</span>
<span class="title">MSO Undecidability for Hereditary Classes of Unbounded Clique Width</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.17">10.4230/LIPIcs.CSL.2022.17</a>
</li>
<li>
<span class="authors">Andrej Dudenhefner</span>
<span class="title">Constructive Many-One Reduction from the Halting Problem to Semi-Unification</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.18">10.4230/LIPIcs.CSL.2022.18</a>
</li>
<li>
<span class="authors">David Fernández-Duque and Yoàv Montacute</span>
<span class="title">Dynamic Cantor Derivative Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.19">10.4230/LIPIcs.CSL.2022.19</a>
</li>
<li>
<span class="authors">Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog</span>
<span class="title">Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.20">10.4230/LIPIcs.CSL.2022.20</a>
</li>
<li>
<span class="authors">Dana Fisman, Hadar Frenkel, and Sandra Zilles</span>
<span class="title">Inferring Symbolic Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.21">10.4230/LIPIcs.CSL.2022.21</a>
</li>
<li>
<span class="authors">Jakub Gajarský, Maximilian Gorsky, and Stephan Kreutzer</span>
<span class="title">Differential Games, Locality, and Model Checking for FO Logic of Graphs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.22">10.4230/LIPIcs.CSL.2022.22</a>
</li>
<li>
<span class="authors">Emile Hazard and Denis Kuperberg</span>
<span class="title">Cyclic Proofs for Transfinite Expressions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.23">10.4230/LIPIcs.CSL.2022.23</a>
</li>
<li>
<span class="authors">Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, and Jeffrey Shallit</span>
<span class="title">Decidability for Sturmian Words</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.24">10.4230/LIPIcs.CSL.2022.24</a>
</li>
<li>
<span class="authors">Guilhem Jaber and Davide Sangiorgi</span>
<span class="title">Games, Mobile Processes, and Functions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.25">10.4230/LIPIcs.CSL.2022.25</a>
</li>
<li>
<span class="authors">Paulin Jacobé de Naurois</span>
<span class="title">Parallelism in Soft Linear Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.26">10.4230/LIPIcs.CSL.2022.26</a>
</li>
<li>
<span class="authors">Delia Kesner and Andrés Viso</span>
<span class="title">Encoding Tight Typing in a Unified Framework</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.27">10.4230/LIPIcs.CSL.2022.27</a>
</li>
<li>
<span class="authors">András Kovács</span>
<span class="title">Generalized Universe Hierarchies and First-Class Universe Levels</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.28">10.4230/LIPIcs.CSL.2022.28</a>
</li>
<li>
<span class="authors">Clemens Kupke, Johannes Marti, and Yde Venema</span>
<span class="title">Succinct Graph Representations of μ-Calculus Formulas</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.29">10.4230/LIPIcs.CSL.2022.29</a>
</li>
<li>
<span class="authors">Yoshiki Nakamura</span>
<span class="title">Spatial Existential Positive Logics for Hyperedge Replacement Grammars</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.30">10.4230/LIPIcs.CSL.2022.30</a>
</li>
<li>
<span class="authors">Jaroslav Nešetřil, Patrice Ossona de Mendez, and Sebastian Siebertz</span>
<span class="title">Structural Properties of the First-Order Transduction Quasiorder</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.31">10.4230/LIPIcs.CSL.2022.31</a>
</li>
<li>
<span class="authors">Lê Thành Dũng (Tito) Nguyễn and Lutz Straßburger</span>
<span class="title">BV and Pomset Logic Are Not the Same</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.32">10.4230/LIPIcs.CSL.2022.32</a>
</li>
<li>
<span class="authors">Guillermo A. Pérez and Ritam Raha</span>
<span class="title">Revisiting Parameter Synthesis for One-Counter Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.33">10.4230/LIPIcs.CSL.2022.33</a>
</li>
<li>
<span class="authors">Nicole Schirrmacher, Sebastian Siebertz, and Alexandre Vigny</span>
<span class="title">First-Order Logic with Connectivity Operators</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.34">10.4230/LIPIcs.CSL.2022.34</a>
</li>
<li>
<span class="authors">Haruka Tomita</span>
<span class="title">Planar Realizability via Left and Right Applications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.35">10.4230/LIPIcs.CSL.2022.35</a>
</li>
<li>
<span class="authors">Jacobo Torán and Florian Wörz</span>
<span class="title">Number of Variables for Graph Differentiation and the Resolution of GI Formulas</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.36">10.4230/LIPIcs.CSL.2022.36</a>
</li>
<li>
<span class="authors">Gonzague Yernaux and Wim Vanhoof</span>
<span class="title">Anti-Unification of Unordered Goals</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2022.37">10.4230/LIPIcs.CSL.2022.37</a>
</li>
</ul>
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