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