<h2>LIPIcs, Volume 82, CSL 2017</h2>
<ul>
<li>
<span class="authors">Valentin Goranko and Mads Dam</span>
<span class="title">LIPIcs, Volume 82, CSL'17, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017">10.4230/LIPIcs.CSL.2017</a>
</li>
<li>
<span class="authors">Valentin Goranko and Mads Dam</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.0">10.4230/LIPIcs.CSL.2017.0</a>
</li>
<li>
<span class="authors">Anuj Dawar and Daniel Leivant</span>
<span class="title">The Ackermann Award 2017</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.1">10.4230/LIPIcs.CSL.2017.1</a>
</li>
<li>
<span class="authors">Phokion G. Kolaitis</span>
<span class="title">Schema Mappings: Structural Properties and Limits (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.2">10.4230/LIPIcs.CSL.2017.2</a>
</li>
<li>
<span class="authors">Laura Kovács</span>
<span class="title">First-Order Interpolation and Grey Areas of Proofs (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.3">10.4230/LIPIcs.CSL.2017.3</a>
</li>
<li>
<span class="authors">Stephan Kreutzer</span>
<span class="title">Current Trends and New Perspectives for First-Order Model Checking (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.4">10.4230/LIPIcs.CSL.2017.4</a>
</li>
<li>
<span class="authors">Meena Mahajan</span>
<span class="title">Arithmetic Circuits: An Overview (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.5">10.4230/LIPIcs.CSL.2017.5</a>
</li>
<li>
<span class="authors">Wolfgang Thomas</span>
<span class="title">Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.6">10.4230/LIPIcs.CSL.2017.6</a>
</li>
<li>
<span class="authors">Margus Veanes</span>
<span class="title">Symbolic Automata Theory with Applications (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.7">10.4230/LIPIcs.CSL.2017.7</a>
</li>
<li>
<span class="authors">Benedikt Ahrens, Peter LeFanu Lumsdaine, and Vladimir Voevodsky</span>
<span class="title">Categorical Structures for Type Theory in Univalent Foundations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.8">10.4230/LIPIcs.CSL.2017.8</a>
</li>
<li>
<span class="authors">Andrea Aler Tubella, Alessio Guglielmi, and Benjamin Ralph</span>
<span class="title">Removing Cycles from Proofs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.9">10.4230/LIPIcs.CSL.2017.9</a>
</li>
<li>
<span class="authors">Dana Angluin, Timos Antonopoulos, and Dana Fisman</span>
<span class="title">Query Learning of Derived Omega-Tree Languages in Polynomial Time</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.10">10.4230/LIPIcs.CSL.2017.10</a>
</li>
<li>
<span class="authors">Bartosz Bednarczyk, Witold Charatonik, and Emanuel Kieronski</span>
<span class="title">Extending Two-Variable Logic on Trees</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.11">10.4230/LIPIcs.CSL.2017.11</a>
</li>
<li>
<span class="authors">Udi Boker</span>
<span class="title">On the (In)Succinctness of Muller Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.12">10.4230/LIPIcs.CSL.2017.12</a>
</li>
<li>
<span class="authors">Célia Borlido, Silke Czarnetzki, Mai Gehrke, and Andreas Krebs</span>
<span class="title">Stone Duality and the Substitution Principle</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.13">10.4230/LIPIcs.CSL.2017.13</a>
</li>
<li>
<span class="authors">Joseph Boudou, Martín Diéguez, and David Fernández-Duque</span>
<span class="title">A Decidable Intuitionistic Temporal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.14">10.4230/LIPIcs.CSL.2017.14</a>
</li>
<li>
<span class="authors">Joseph Boudou</span>
<span class="title">Decidable Logics with Associative Binary Modalities</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.15">10.4230/LIPIcs.CSL.2017.15</a>
</li>
<li>
<span class="authors">Matthew de Brecht and Arno Pauly</span>
<span class="title">Noetherian Quasi-Polish spaces</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.16">10.4230/LIPIcs.CSL.2017.16</a>
</li>
<li>
<span class="authors">Davide Bresolin, Emilio Muñoz-Velasco, and Guido Sciavicco</span>
<span class="title">Fast(er) Reasoning in Interval Temporal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.17">10.4230/LIPIcs.CSL.2017.17</a>
</li>
<li>
<span class="authors">Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer</span>
<span class="title">Improved Set-Based Symbolic Algorithms for Parity Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.18">10.4230/LIPIcs.CSL.2017.18</a>
</li>
<li>
<span class="authors">Yijia Chen, Jörg Flum, and Xuangui Huang</span>
<span class="title">Slicewise Definability in First-Order Logic with Bounded Quantifier Rank</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.19">10.4230/LIPIcs.CSL.2017.19</a>
</li>
<li>
<span class="authors">Robin Cockett and Jean-Simon Lemay</span>
<span class="title">Integral Categories and Calculus Categories</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.20">10.4230/LIPIcs.CSL.2017.20</a>
</li>
<li>
<span class="authors">Martín H. Escardó and Cory M. Knapp</span>
<span class="title">Partial Elements and Recursion via Dominances in Univalent Type Theory</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.21">10.4230/LIPIcs.CSL.2017.21</a>
</li>
<li>
<span class="authors">Olivier Carton, Olivier Finkel, and Dominique Lecomte</span>
<span class="title">Polishness of Some Topologies Related to Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.22">10.4230/LIPIcs.CSL.2017.22</a>
</li>
<li>
<span class="authors">Ulysse Gérard and Dale Miller</span>
<span class="title">Separating Functional Computation from Relations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.23">10.4230/LIPIcs.CSL.2017.23</a>
</li>
<li>
<span class="authors">Dan R. Ghica, Achim Jung, and Aliaume Lopez</span>
<span class="title">Diagrammatic Semantics for Digital Circuits</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.24">10.4230/LIPIcs.CSL.2017.24</a>
</li>
<li>
<span class="authors">Wan Fokkink and Rob J. van Glabbeek</span>
<span class="title">Precongruence Formats with Lookahead through Modal Decomposition</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.25">10.4230/LIPIcs.CSL.2017.25</a>
</li>
<li>
<span class="authors">Berit Grußien</span>
<span class="title">Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.26">10.4230/LIPIcs.CSL.2017.26</a>
</li>
<li>
<span class="authors">Erich Grädel, Benedikt Pago, and Wied Pakusa</span>
<span class="title">The Model-Theoretic Expressiveness of Propositional Proof Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.27">10.4230/LIPIcs.CSL.2017.27</a>
</li>
<li>
<span class="authors">Miika Hannula</span>
<span class="title">Validity and Entailment in Modal and Propositional Dependence Logics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.28">10.4230/LIPIcs.CSL.2017.28</a>
</li>
<li>
<span class="authors">Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva</span>
<span class="title">CALF: Categorical Automata Learning Framework</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.29">10.4230/LIPIcs.CSL.2017.29</a>
</li>
<li>
<span class="authors">Bartek Klin and Mateusz Lelyk</span>
<span class="title">Modal mu-Calculus with Atoms</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.30">10.4230/LIPIcs.CSL.2017.30</a>
</li>
<li>
<span class="authors">Martin Lück</span>
<span class="title">The Power of the Filtration Technique for Modal Logics with Team Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.31">10.4230/LIPIcs.CSL.2017.31</a>
</li>
<li>
<span class="authors">Koko Muroya and Dan R. Ghica</span>
<span class="title">The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.32">10.4230/LIPIcs.CSL.2017.32</a>
</li>
<li>
<span class="authors">Mateus de Oliveira Oliveira</span>
<span class="title">On Supergraphs Satisfying CMSO Properties</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.33">10.4230/LIPIcs.CSL.2017.33</a>
</li>
<li>
<span class="authors">Alice Pavaux</span>
<span class="title">Inductive and Functional Types in Ludics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.34">10.4230/LIPIcs.CSL.2017.34</a>
</li>
<li>
<span class="authors">Faried Abu Zaid, Erich Grädel, and Frederic Reinhardt</span>
<span class="title">Advice Automatic Structures and Uniformly Automatic Classes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.35">10.4230/LIPIcs.CSL.2017.35</a>
</li>
<li>
<span class="authors">Wilmer Ricciotti and James Cheney</span>
<span class="title">Strongly Normalizing Audited Computation</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.36">10.4230/LIPIcs.CSL.2017.36</a>
</li>
<li>
<span class="authors">Abhisekh Sankaran</span>
<span class="title">A Finitary Analogue of the Downward Löwenheim-Skolem Property</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.37">10.4230/LIPIcs.CSL.2017.37</a>
</li>
<li>
<span class="authors">Maria João Gouveia and Luigi Santocanale</span>
<span class="title">Aleph1 and the Modal mu-Calculus</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.38">10.4230/LIPIcs.CSL.2017.38</a>
</li>
<li>
<span class="authors">Lionel Vaux</span>
<span class="title">Taylor Expansion, lambda-Reduction and Normalization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.39">10.4230/LIPIcs.CSL.2017.39</a>
</li>
<li>
<span class="authors">Oleg Verbitsky and Maksim Zhukovskii</span>
<span class="title">On the First-Order Complexity of Induced Subgraph Isomorphism</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.40">10.4230/LIPIcs.CSL.2017.40</a>
</li>
<li>
<span class="authors">Marc de Visme and Glynn Winskel</span>
<span class="title">Strategies with Parallel Causes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.41">10.4230/LIPIcs.CSL.2017.41</a>
</li>
<li>
<span class="authors">Rostislav Horcík, Tommaso Moraschini, and Amanda Vidal</span>
<span class="title">An Algebraic Approach to Valued Constraint Satisfaction</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2017.42">10.4230/LIPIcs.CSL.2017.42</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