Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gili Bielous, Orna Kupferman |
Coverage and Vacuity in Network Formation Games. ![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. 10:1-10: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 | Iddo Tzameret |
From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (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. 5:1-5: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 | Artur Jez |
Solving Word Equations (And Other Unification Problems) by Recompression (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. 3:1-3: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 | Matthias Hoelzel, Richard Wilke |
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. ![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. 25:1-25: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 | Moses Ganardi, Bakhadyr Khoussainov |
Automatic Equivalence Structures of Polynomial Growth. ![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. 21:1-21: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 | Stéphane Demri, Étienne Lozes, Alessio Mansutti |
Internal Calculi for Separation Logics. ![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. 19:1-19: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 | Matteo Acclavio, Roberto Maieli |
Generalized Connectives for Multiplicative Linear Logic. ![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. 6:1-6: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 | Corto Mascle, Martin Zimmermann 0002 |
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. ![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. 29:1-29: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 | Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard |
Beyond Admissibility: Dominance Between Chains of Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 10:1-10:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Pawel Sobocinski 0001 |
Rule Algebras for Adhesive Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 11:1-11:21, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Liron Cohen 0001, Reuben N. S. Rowe |
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 17:1-17:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, Anuj Dawar |
Definable Inapproximability: New Challenges for Duplicator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 7:1-7:21, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel |
The True Concurrency of Herbrand's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 5:1-5:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron, Shahar Lev, Nissan Levi |
Safety, Absoluteness, and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 8:1-8:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | P. Madhusudan, Umang Mathur 0001, Shambwaditya Saha, Mahesh Viswanathan 0001 |
A Decidable Fragment of Second Order Logic With Applications to Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 31:1-31:19, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kazushige Terui |
MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 37:1-37:19, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe, Alexander Weinert, Martin Zimmermann 0002 |
Parity Games with Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 36:1-36:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Marcello Mamino, Caterina Viola |
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 12:1-12:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Toru Kawata |
A Contextual Reconstruction of Monadic Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 27:1-27:14, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin |
Quantifying Bounds in Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 23:1-23:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Patricia Bouyer, Vincent Jugé |
Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 26:1-26:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper 0001 |
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 6:1-6:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Matthias Hoelzel |
Dependency Concepts up to Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 25:1-25:21, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dan Marsden, Maaike Zwart |
Quantitative Foundations for Resource Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 32:1-32:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lück |
Canonical Models and the Complexity of Modal Team Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 30:1-30:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 0:i-0:xiv, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guy McCusker, Alessio Santamaria |
On Compositionality of Dinatural Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 33:1-33:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jules Chouquet, Lionel Vaux Auclair |
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 15:1-15:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Achim Jung (eds.) |
27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pierre Clairambault, Hugo Paquet |
Fully Abstract Models of the Probabilistic lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 16:1-16:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Gregory Wilsenach |
Symmetric Circuits for Rank Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 20:1-20:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Das 0002, Isabel Oitavem |
A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 18:1-18:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema |
Expressivity Within Second-Order Transitive-Closure Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 22:1-22:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | William John Gowers, James David Laird |
A Fully Abstract Game Semantics for Countable Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 24:1-24:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aliaume Lopez, Alex Simpson |
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 29:1-29:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
High-Level Signatures and Initial Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 4:1-4:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 28:1-28:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Nollet, Alexis Saurin, Christine Tasson |
Local Validity for Circular Proofs in Linear Logic with Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 35:1-35:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Das 0002, Damien Pous |
Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 19:1-19:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Jens Seeber, Pawel Sobocinski 0001 |
Graphical Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 13:1-13:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Downen, Zena M. Ariola |
Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 21:1-21:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider, Alexander Weinert, Martin Zimmermann 0002 |
Synthesizing Optimally Resilient Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 34:1-34:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Thomas Schwentick |
The Ackermann Award 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 1:1-1:5, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Nihil Shah |
Relating Structure and Power: Comonadic Semantics for Computational Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 2:1-2:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Faried Abu Zaid, Dietrich Kuske, Peter Lindner 0001 |
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 3:1-3:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Baillot, Alexis Ghyselen |
Combining Linear Logic and Size Types for Implicit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 9:1-9:21, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Approximating Probabilistic Automata by Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 14:1-14:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky |
Categorical Structures for Type Theory in Univalent Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 8:1-8:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
First-Order Interpolation and Grey Areas of Proofs (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 3:1-3:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lionel Vaux |
Taylor Expansion, lambda-Reduction and Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 39:1-39:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Jean-Simon Lemay |
Integral Categories and Calculus Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 20:1-20:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulysse Gérard, Dale Miller 0001 |
Separating Functional Computation from Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 23:1-23:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rostislav Horcík, Tommaso Moraschini, Amanda Vidal |
An Algebraic Approach to Valued Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 42:1-42:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Rob J. van Glabbeek |
Precongruence Formats with Lookahead through Modal Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 25:1-25:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 0:i-0:xviii, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abhisekh Sankaran |
A Finitary Analogue of the Downward Löwenheim-Skolem Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 37:1-37:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Benedikt Pago, Wied Pakusa |
The Model-Theoretic Expressiveness of Propositional Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 27:1-27:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes |
Symbolic Automata Theory with Applications (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 7:1-7:3, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco |
Fast(er) Reasoning in Interval Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 17:1-17:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Mateusz Lelyk |
Modal mu-Calculus with Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 30:1-30:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Jörg Flum, Xuangui Huang |
Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 19:1-19:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wilmer Ricciotti, James Cheney |
Strongly Normalizing Audited Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 36:1-36:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Phokion G. Kolaitis |
Schema Mappings: Structural Properties and Limits (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 2:1-2:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
On Supergraphs Satisfying CMSO Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 33:1-33:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Carton, Olivier Finkel, Dominique Lecomte |
Polishness of Some Topologies Related to Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 22:1-22:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Goranko, Mads Dam (eds.) |
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Faried Abu Zaid, Erich Grädel, Frederic Reinhardt |
Advice Automatic Structures and Uniformly Automatic Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 35:1-35:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer |
Improved Set-Based Symbolic Algorithms for Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 18:1-18:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Thomas |
Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 6:1-6:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Boudou |
Decidable Logics with Associative Binary Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 15:1-15:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Berit Grußien |
Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 26:1-26:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miika Hannula |
Validity and Entailment in Modal and Propositional Dependence Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 28:1-28:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maria João Gouveia, Luigi Santocanale |
Aleph1 and the Modal mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 38:1-38:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Daniel Leivant |
The Ackermann Award 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 1:1-1:4, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker |
On the (In)Succinctness of Muller Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 12:1-12:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lück |
The Power of the Filtration Technique for Modal Logics with Team Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 31:1-31:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Kreutzer |
Current Trends and New Perspectives for First-Order Model Checking (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 4:1-4:5, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Achim Jung, Aliaume Lopez |
Diagrammatic Semantics for Digital Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 24:1-24:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gerco van Heerdt, Matteo Sammartino, Alexandra Silva 0001 |
CALF: Categorical Automata Learning Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 29:1-29:24, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthew de Brecht, Arno Pauly |
Noetherian Quasi-Polish spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 16:1-16:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski |
Extending Two-Variable Logic on Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 11:1-11:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph |
Removing Cycles from Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 9:1-9:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, Timos Antonopoulos, Dana Fisman |
Query Learning of Derived Omega-Tree Languages in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 10:1-10:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Meena Mahajan |
Arithmetic Circuits: An Overview (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 5:1-5:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alice Pavaux |
Inductive and Functional Types in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 34:1-34:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Verbitsky 0001, Maksim Zhukovskii |
On the First-Order Complexity of Induced Subgraph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 40:1-40:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marc de Visme, Glynn Winskel |
Strategies with Parallel Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 41:1-41:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Boudou, Martín Diéguez, David Fernández-Duque |
A Decidable Intuitionistic Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 14:1-14:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Koko Muroya, Dan R. Ghica |
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 32:1-32:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó, Cory M. Knapp |
Partial Elements and Recursion via Dominances in Univalent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 21:1-21:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs |
Stone Duality and the Substitution Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 13:1-13:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weinert, Martin Zimmermann 0002 |
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 31:1-31:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Polymorphic Game Semantics for Dynamic Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 27:1-27:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Tabuada, Daniel Neider |
Robust Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 10:1-10:21, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Agata Ciabattoni |
Analytic Calculi for Non-Classical Logics: Theory and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 4:1-4:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella, Phokion G. Kolaitis |
Dependence Logic vs. Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 14:1-14:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Guillermo A. Pérez 0001, Jean-François Raskin |
Minimizing Regret in Discounted-Sum Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 30:1-30:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001 |
Coalgebraic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 5:1-5:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kord Eickmeyer, Ken-ichi Kawarabayashi |
Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 18:1-18:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wied Pakusa, Svenja Schalthöfer, Erkal Selman |
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 19:1-19:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|