default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th CSL 2022: Göttingen, Germany (Virtual Conference)
- Florin Manea
, Alex Simpson:
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference). LIPIcs 216, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-218-1 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:20
- Udi Boker:
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk). 1:1-1:15 - Natasha Fernandes, Annabelle McIver, Carroll Morgan:
How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk). 2:1-2:14 - Antonio Abu Nassar, Shaull Almagor:
Simulation by Rounds of Letter-To-Letter Transducers. 3:1-3:17 - Beniamino Accattoli, Maico Leberle:
Useful Open Call-By-Need. 4:1-4:21 - Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot:
Gardening with the Pythia A Model of Continuity in a Dependent Setting. 5:1-5:18 - Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot:
Weighted Automata and Expressions over Pre-Rational Monoids. 6:1-6:16 - Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
Optimal Strategies in Concurrent Reachability Games. 7:1-7:17 - Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset:
Finite-Memory Strategies in Two-Player Infinite Games. 8:1-8:16 - Matthew de Brecht:
Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals. 9:1-9:10 - Léonard Brice, Jean-François Raskin, Marie van den Bogaard:
On the Complexity of SPEs in Parity Games. 10:1-10:17 - Guillaume Brunerie, Axel Ljungström, Anders Mörtberg:
Synthetic Integral Cohomology in Cubical Agda. 11:1-11:19 - Antonio Casares:
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. 12:1-12:17 - Davide Castelnovo, Marino Miculan:
Fuzzy Algebraic Theories. 13:1-13:17 - Liang-Ting Chen, Hsiang-Shang Ko:
Realising Intensional S4 and GL Modalities. 14:1-14:17 - Carmen M. Constantin, Nuiok Dicaire, Chris Heunen:
Localisable Monads. 15:1-15:17 - Fredrik Dahlqvist, Renato Neves:
An Internal Language for Categories Enriched over Generalised Metric Spaces. 16:1-16:18 - Anuj Dawar, Abhisekh Sankaran:
MSO Undecidability for Hereditary Classes of Unbounded Clique Width. 17:1-17:17 - Andrej Dudenhefner:
Constructive Many-One Reduction from the Halting Problem to Semi-Unification. 18:1-18:19 - David Fernández-Duque, Yoàv Montacute:
Dynamic Cantor Derivative Logic. 19:1-19:17 - Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. 20:1-20:19 - Dana Fisman, Hadar Frenkel, Sandra Zilles:
Inferring Symbolic Automata. 21:1-21:19 - Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer:
Differential Games, Locality, and Model Checking for FO Logic of Graphs. 22:1-22:18 - Emile Hazard, Denis Kuperberg:
Cyclic Proofs for Transfinite Expressions. 23:1-23:18 - Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit:
Decidability for Sturmian Words. 24:1-24:23 - Guilhem Jaber, Davide Sangiorgi:
Games, Mobile Processes, and Functions. 25:1-25:18 - Paulin Jacobé de Naurois:
Parallelism in Soft Linear Logic. 26:1-26:16 - Delia Kesner, Andrés Viso:
Encoding Tight Typing in a Unified Framework. 27:1-27:20 - András Kovács:
Generalized Universe Hierarchies and First-Class Universe Levels. 28:1-28:17 - Clemens Kupke, Johannes Marti, Yde Venema:
Succinct Graph Representations of μ-Calculus Formulas. 29:1-29:18 - Yoshiki Nakamura:
Spatial Existential Positive Logics for Hyperedge Replacement Grammars. 30:1-30:17 - Jaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz:
Structural Properties of the First-Order Transduction Quasiorder. 31:1-31:16 - Lê Thành Dung Nguyên, Lutz Straßburger:
BV and Pomset Logic Are Not the Same. 32:1-32:17 - Guillermo A. Pérez, Ritam Raha:
Revisiting Parameter Synthesis for One-Counter Automata. 33:1-33:18 - Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny:
First-Order Logic with Connectivity Operators. 34:1-34:17 - Haruka Tomita:
Planar Realizability via Left and Right Applications. 35:1-35:17 - Jacobo Torán, Florian Wörz:
Number of Variables for Graph Differentiation and the Resolution of GI Formulas. 36:1-36:18 - Gonzague Yernaux, Wim Vanhoof:
Anti-Unification of Unordered Goals. 37:1-37:17
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.
last updated on 2025-02-05 20:42 CET 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:
