Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jacobo Torán, Florian Wörz |
Number of Variables for Graph Differentiation and the Resolution of GI Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 36:1-36:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Constantin, Nuiok Dicaire, Chris Heunen |
Localisable Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 15:1-15:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Fernández-Duque, Yoàv Montacute |
Dynamic Cantor Derivative Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 19:1-19:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paulin Jacobé de Naurois |
Parallelism in Soft Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 26:1-26:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny |
First-Order Logic with Connectivity Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 34:1-34:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker |
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 1:1-1:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Stéphane Le Roux 0001, Nathan Thomasset |
Finite-Memory Strategies in Two-Player Infinite Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 8:1-8:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Abu Nassar, Shaull Almagor |
Simulation by Rounds of Letter-To-Letter Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 3:1-3:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Abhisekh Sankaran |
MSO Undecidability for Hereditary Classes of Unbounded Clique Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 17:1-17:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot |
Gardening with the Pythia A Model of Continuity in a Dependent Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 5:1-5:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Davide Sangiorgi |
Games, Mobile Processes, and Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 25:1-25:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz 0013, Jeffrey O. Shallit |
Decidability for Sturmian Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 24:1-24:23, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Andrés Viso |
Encoding Tight Typing in a Unified Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 27:1-27:20, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 20:1-20:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lê Thành Dung Nguyên, Lutz Straßburger |
BV and Pomset Logic Are Not the Same. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 32:1-32:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001 |
Spatial Existential Positive Logics for Hyperedge Replacement Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 30:1-30:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthew de Brecht |
Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 9:1-9:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001 |
Optimal Strategies in Concurrent Reachability Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 7:1-7:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Johannes Marti, Yde Venema |
Succinct Graph Representations of μ-Calculus Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 29:1-29:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Léonard Brice, Jean-François Raskin, Marie van den Bogaard |
On the Complexity of SPEs in Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 10:1-10:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Casares |
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 12:1-12:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Florin Manea, Alex Simpson (eds.) |
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Dana Fisman, Hadar Frenkel, Sandra Zilles |
Inferring Symbolic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 21:1-21:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gonzague Yernaux, Wim Vanhoof |
Anti-Unification of Unordered Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 37:1-37:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer |
Differential Games, Locality, and Model Checking for FO Logic of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 22:1-22:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 0:1-0:20, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot |
Weighted Automata and Expressions over Pre-Rational Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 6:1-6:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Emile Hazard, Denis Kuperberg |
Cyclic Proofs for Transfinite Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 23:1-23:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner |
Constructive Many-One Reduction from the Halting Problem to Semi-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 18:1-18:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Guy Hefetz |
Discounted-Sum Automata with Multiple Discount Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 12:1-12:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mark Bickford, Liron Cohen 0001, Robert L. Constable, Vincent Rahli |
Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 11:1-11:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich, Doron Tiferet |
Degrees of Ambiguity for Parity Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 36:1-36:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pistone, Luca Tranchini |
The Yoneda Reduction of Polymorphic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 35:1-35:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi 0001 |
A Cyclic Proof System for HFL_ℕ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 29:1-29:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Linda Westrick |
Borel Sets in Reverse Mathematics (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 4:1-4:2, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tom de Jong, Martín Hötzel Escardó |
Domain Theory in Constructive and Predicative Univalent Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 28:1-28:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Lichter, Pascal Schweitzer |
Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 31:1-31:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Dinis, Étienne Miquey |
Realizability with Stateful Computations for Nonstandard Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 19:1-19:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Federico Olimpieri |
Categorifying Non-Idempotent Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 25:1-25:24, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Schnoebelen |
On Flat Lossy Channel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 37:1-37:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Rui Soares Barbosa |
The Logic of Contextuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 5:1-5:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema |
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 27:1-27:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Haruka Tomita |
Realizability Without Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 38:1-38:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 8:1-8:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 0:1-0:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bergerem, Nicole Schweikardt |
Learning Concepts Described By Weight Aggregation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 10:1-10:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Daniela Petrisan, Riccardo Stabile |
Learning Automata and Transducers: A Categorical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 15:1-15:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin |
μ-Calculi with Atoms (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 1:1-1:1, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus |
A Deep Quantitative Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 24:1-24:24, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
Factorize Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 6:1-6:25, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christine Gaßner, Arno Pauly, Florian Steinberg 0001 |
Computing Measure as a Primitive Operation in Real Number Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 22:1-22:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adam Ó Conghaile, Anuj Dawar |
Game Comonads & Generalised Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 16:1-16:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Pago |
Choiceless Computation and Symmetry: Limitations of Definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 33:1-33:21, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Geoffroy, Paolo Pistone |
A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 23:1-23:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Abhisekh Sankaran |
Extension Preservation in the Finite and Prefix Classes of First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 18:1-18:13, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Assia Mahboubi |
Mathematical Structures in Dependent Type Theory (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 2:1-2:3, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen |
Semiring Provenance for Fixed-Point Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 17:1-17:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 20:1-20:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Long Pham, Jan Hoffmann 0002 |
Typable Fragments of Polynomial Automatic Amortized Resource Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 34:1-34:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier |
Reachability in Distributed Memory Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 13:1-13:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Jean Goubault-Larrecq (eds.) |
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Merlin Göttlinger, Lutz Schröder, Dirk Pattinson |
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 26:1-26:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Schmitz |
Branching in Well-Structured Transition Systems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 3:1-3:3, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elena Di Lavore, Jules Hedges, Pawel Sobocinski 0001 |
Compositional Modelling of Network Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 30:1-30:24, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda |
Pregrammars and Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 14:1-14:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Forster 0002 |
Church's Thesis and Related Axioms in Coq's Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 21:1-21:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aliaume Lopez |
Preservation Theorems Through the Lens of Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 32:1-32:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
The Best a Monitor Can Do. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 7:1-7:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | André Arnold, Damian Niwinski, Pawel Parys |
A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 9:1-9:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo |
The Call-By-Value Lambda-Calculus with Generalized Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 35:1-35:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evan Cavallo, Robert Harper 0001 |
Internal Parametricity for Cubical Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 13:1-13:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki |
A Robust Class of Linear Recurrence Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 9:1-9:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evan Cavallo, Anders Mörtberg, Andrew W. Swan |
Unifying Cubical Models of Univalent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 14:1-14:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Julien Grange, Luc Segoufin |
Order-Invariant First-Order Logic over Hollow Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 23:1-23:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Eduardo Bonelli, Andrés Viso |
Strong Bisimulation for Control Operators (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 4:1-4:23, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 0:1-0:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul Brunet |
A Complete Axiomatisation of a Fragment of Language Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 11:1-11:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Moerman, Jurriaan Rot |
Separation and Renaming in Nominal Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 31:1-31:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arno Pauly, Dongseong Seon, Martin Ziegler 0001 |
Computing Haar Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 34:1-34:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 28:1-28:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar |
Symmetric Computation (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 2:1-2:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright |
Tangent Categories from the Coalgebras of Differential Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 17:1-17:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier |
Verification of Security Protocols (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 1:1-1:2, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nils Vortmeier, Thomas Zeume |
Dynamic Complexity of Parity Exists Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 37:1-37:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk |
Reverse Derivative Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 18:1-18:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Jurriaan Rot |
Expressive Logics for Coinductive Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 26:1-26:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Schmidt 0001, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis |
Dynamic Complexity Meets Parameterised Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 36:1-36:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Anca Muscholl (eds.) |
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Sam Buss, Anupam Das 0002, Alexander Knop |
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 12:1-12:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Andreas Tollkötter |
State Space Reduction For Parity Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 27:1-27:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Martin Otto 0001 |
Guarded Teams: The Horizontally Guarded Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 22:1-22:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Parity Games: Another View on Lehtinen's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 32:1-32:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, Timos Antonopoulos, Dana Fisman |
Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 8:1-8:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek |
On Free Completely Iterative Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 7:1-7:21, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl |
Monitoring Event Frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 20:1-20:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 24:1-24:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jules Chouquet, Christine Tasson |
Taylor expansion for Call-By-Push-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 16:1-16:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Miquey |
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 30:1-30:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Jörg Flum |
FO-Definability of Shrub-Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 15:1-15:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Paßmann |
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 33:1-33:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|