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. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Constantin, Nuiok Dicaire, Chris Heunen |
Localisable Monads. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Fernández-Duque, Yoàv Montacute |
Dynamic Cantor Derivative Logic. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paulin Jacobé de Naurois |
Parallelism in Soft Linear Logic. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny |
First-Order Logic with Connectivity Operators. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker |
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk). |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Stéphane Le Roux 0001, Nathan Thomasset |
Finite-Memory Strategies in Two-Player Infinite Games. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Abu Nassar, Shaull Almagor |
Simulation by Rounds of Letter-To-Letter Transducers. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Abhisekh Sankaran |
MSO Undecidability for Hereditary Classes of Unbounded Clique Width. |
CSL |
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. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Davide Sangiorgi |
Games, Mobile Processes, and Functions. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz 0013, Jeffrey O. Shallit |
Decidability for Sturmian Words. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Andrés Viso |
Encoding Tight Typing in a Unified Framework. |
CSL |
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. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lê Thành Dung Nguyên, Lutz Straßburger |
BV and Pomset Logic Are Not the Same. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001 |
Spatial Existential Positive Logics for Hyperedge Replacement Grammars. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthew de Brecht |
Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001 |
Optimal Strategies in Concurrent Reachability Games. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Johannes Marti, Yde Venema |
Succinct Graph Representations of μ-Calculus Formulas. |
CSL |
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. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Casares |
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. |
CSL |
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). |
CSL |
2022 |
DBLP BibTeX RDF |
|
1 | Dana Fisman, Hadar Frenkel, Sandra Zilles |
Inferring Symbolic Automata. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gonzague Yernaux, Wim Vanhoof |
Anti-Unification of Unordered Goals. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer |
Differential Games, Locality, and Model Checking for FO Logic of Graphs. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CSL |
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. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Emile Hazard, Denis Kuperberg |
Cyclic Proofs for Transfinite Expressions. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner |
Constructive Many-One Reduction from the Halting Problem to Semi-Unification. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Guy Hefetz |
Discounted-Sum Automata with Multiple Discount Factors. |
CSL |
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. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich, Doron Tiferet |
Degrees of Ambiguity for Parity Tree Automata. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pistone, Luca Tranchini |
The Yoneda Reduction of Polymorphic Types. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi 0001 |
A Cyclic Proof System for HFL_ℕ. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Linda Westrick |
Borel Sets in Reverse Mathematics (Invited Talk). |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tom de Jong, Martín Hötzel Escardó |
Domain Theory in Constructive and Predicative Univalent Foundations. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Lichter, Pascal Schweitzer |
Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Dinis, Étienne Miquey |
Realizability with Stateful Computations for Nonstandard Analysis. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Federico Olimpieri |
Categorifying Non-Idempotent Intersection Types. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Schnoebelen |
On Flat Lossy Channel Machines. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Rui Soares Barbosa |
The Logic of Contextuality. |
CSL |
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. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Haruka Tomita |
Realizability Without Symmetry. |
CSL |
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? |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bergerem, Nicole Schweikardt |
Learning Concepts Described By Weight Aggregation Logic. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Daniela Petrisan, Riccardo Stabile |
Learning Automata and Transducers: A Categorical Approach. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin |
μ-Calculi with Atoms (Invited Talk). |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus |
A Deep Quantitative Type System. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
Factorize Factorization. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christine Gaßner, Arno Pauly, Florian Steinberg 0001 |
Computing Measure as a Primitive Operation in Real Number Computation. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adam Ó Conghaile, Anuj Dawar |
Game Comonads & Generalised Quantifiers. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Pago |
Choiceless Computation and Symmetry: Limitations of Definability. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Geoffroy, Paolo Pistone |
A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Abhisekh Sankaran |
Extension Preservation in the Finite and Prefix Classes of First Order Logic. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Assia Mahboubi |
Mathematical Structures in Dependent Type Theory (Invited Talk). |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen |
Semiring Provenance for Fixed-Point Logic. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Long Pham, Jan Hoffmann 0002 |
Typable Fragments of Polynomial Automatic Amortized Resource Analysis. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier |
Reachability in Distributed Memory Automata. |
CSL |
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). |
CSL |
2021 |
DBLP BibTeX RDF |
|
1 | Merlin Göttlinger, Lutz Schröder, Dirk Pattinson |
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Schmitz |
Branching in Well-Structured Transition Systems (Invited Talk). |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elena Di Lavore, Jules Hedges, Pawel Sobocinski 0001 |
Compositional Modelling of Network Games. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda |
Pregrammars and Intersection Types. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Forster 0002 |
Church's Thesis and Related Axioms in Coq's Type Theory. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aliaume Lopez |
Preservation Theorems Through the Lens of Topology. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
The Best a Monitor Can Do. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | André Arnold, Damian Niwinski, Pawel Parys |
A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation. |
CSL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo |
The Call-By-Value Lambda-Calculus with Generalized Applications. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evan Cavallo, Robert Harper 0001 |
Internal Parametricity for Cubical Type Theory. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki |
A Robust Class of Linear Recurrence Sequences. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evan Cavallo, Anders Mörtberg, Andrew W. Swan |
Unifying Cubical Models of Univalent Type Theory. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Julien Grange, Luc Segoufin |
Order-Invariant First-Order Logic over Hollow Trees. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Eduardo Bonelli, Andrés Viso |
Strong Bisimulation for Control Operators (Invited Talk). |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul Brunet |
A Complete Axiomatisation of a Fragment of Language Algebra. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Moerman, Jurriaan Rot |
Separation and Renaming in Nominal Sets. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arno Pauly, Dongseong Seon, Martin Ziegler 0001 |
Computing Haar Measures. |
CSL |
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. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar |
Symmetric Computation (Invited Talk). |
CSL |
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. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier |
Verification of Security Protocols (Invited Talk). |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nils Vortmeier, Thomas Zeume |
Dynamic Complexity of Parity Exists Queries. |
CSL |
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. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Jurriaan Rot |
Expressive Logics for Coinductive Predicates. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Schmidt 0001, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis |
Dynamic Complexity Meets Parameterised Algorithms. |
CSL |
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. |
CSL |
2020 |
DBLP BibTeX RDF |
|
1 | Sam Buss, Anupam Das 0002, Alexander Knop |
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Andreas Tollkötter |
State Space Reduction For Parity Automata. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Martin Otto 0001 |
Guarded Teams: The Horizontally Guarded Case. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Parity Games: Another View on Lehtinen's Algorithm. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, Timos Antonopoulos, Dana Fisman |
Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek |
On Free Completely Iterative Algebras. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl |
Monitoring Event Frequencies. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jules Chouquet, Christine Tasson |
Taylor expansion for Call-By-Push-Value. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Miquey |
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Jörg Flum |
FO-Definability of Shrub-Depth. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Paßmann |
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|