| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Éric Goubault, Roman Kniazev, Jérémy Ledent |
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.  |
CSL  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Veeti Ahvonen, Damian Heiman, Antti Kuusisto |
Descriptive Complexity for Neural Networks via Boolean Networks. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge |
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniël Otten, Benno van den Berg |
Conservativity of Type Theory over Higher-Order Arithmetic. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas |
Confluence of Conditional Rewriting Modulo. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Forster 0002, Dominik Kirst, Niklas Mück |
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Barbero, Jonni Virtema |
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Iris van der Giessen, Sonia Marin |
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Nakata |
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Berardi, Gabriele Buriola, Peter Schuster 0001 |
A General Constructive Form of Higman's Lemma. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Assia Mahboubi, Matthieu Piquerez |
A First Order Theory of Diagram Chasing. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Tritschler |
Guarded Hybrid Team Logics. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Fluck, Tim Seppelt, Gian Luca Spitzer |
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kozachinskiy |
Energy Games over Totally Ordered Groups. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Kwiatkowska |
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Loriane Leclercq, Arnaud Sangnier |
QLTL Model-Checking. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner |
The Ackermann Award 2023. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Place, Marc Zeitoun |
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Luisa Herrmann 0001, Vincent Peth, Sebastian Rudolph |
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Lichter, Benedikt Pago, Tim Seppelt |
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Earnshaw, James Hefford, Mario Román |
The Produoidal Algebra of Process Decomposition. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Barbarossa, Paolo Pistone |
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Logical Algorithmics: From Theory to Practice (Invited Talk). |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Aristote |
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Brinke, Erich Grädel, Lovro Mrkonjic |
Ehrenfeucht-Fraïssé Games in Semiring Semantics. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Rasmus Ejlers Møgelberg, Maaike Zwart |
What Monads Can and Cannot Do with a Bit of Extra Time. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay |
Reverse Tangent Categories. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart |
Quantum Circuit Completeness: Extensions and Simplifications. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Grobler, Leif Sabellek, Sebastian Siebertz |
Remarks on Parikh-Recognizable Omega-languages. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniello Murano, Alexandra Silva 0001 (eds.) |
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy |
CSL |
2024 |
DBLP BibTeX RDF |
|
| 1 | Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla |
Concurrent Stochastic Lossy Channel Games. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom van Dijk, Georg Loho, Matthew T. Maat |
The Worst-Case Complexity of Symmetric Strategy Improvement. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Sterling, Daniel Gratzer, Lars Birkedal |
Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Eldar Fischer, Johann A. Makowsky |
Extensions and Limits of the Specker-Blatter Theorem. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Manon Blanc, Olivier Bournez |
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Fontanella, Guillaume Geoffroy, Richard Matthews |
Realizability Models for Large Cardinals. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Olimpieri |
Coherence by Normalization for Linear Multicategorical Structures. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri |
Infinitary Cut-Elimination via Finite Approximations. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob |
Artificial Intelligence and Artificial Ignorance (Invited Talk). |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Anita Badyl, Pawel Parys |
Extending the WMSO+U Logic with Quantification over Tuples. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Moreau 0001, Lê Thành Dung Nguyên |
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Lauri Hella |
Quantifiers Closed Under Partial Polymorphisms. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001 |
From Local to Global Optimality in Concurrent Parity Games. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001 |
Approximating Fixpoints of Approximated Functions (Invited Talk). |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate |
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Mottet |
Promise and Infinite-Domain Constraint Satisfaction. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli |
Semantic Bounds and Multi Types, Revisited. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti |
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric de Lacroix, Luigi Santocanale |
Frobenius Structures in Star-Autonomous Categories. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal |
Translating Proofs from an Impredicative Type System to a Predicative One. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostia Chardonnet, Alexis Saurin, Benoît Valiron |
A Curry-Howard Correspondence for Linear, Reversible Computation. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barenbaum, Teodoro Freund |
Proofs and Refutations for Intuitionistic and Second-Order Logic. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Kirst, Benjamin Peters |
Gödel's Theorem Without Tears - Essential Incompleteness in Synthetic Computability. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Forster, Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild |
Quantitative Hennessy-Milner Theorems via Notions of Density. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
Dynamic Complexity of Regular Languages: Big Changes, Small Work. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Pago |
Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Konrad Staniszewski |
Parity Games of Bounded Tree-Depth. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul W. Wilson 0002, Dan R. Ghica, Fabio Zanasi |
String Diagrams for Non-Strict Monoidal Categories. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Grange |
Order-Invariance in the Two-Variable Fragment of First-Order Logic. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Curzi, Anupam Das 0002 |
Non-Uniform Complexity via Non-Wellfounded Proofs. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Dariusz Kalocinski |
Degree Spectra, and Relative Acceptability of Notations. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lauri Hella |
The Expressive Power of CSP-Quantifiers. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Pratt-Hartmann, Lidia Tendera |
Adding Transitivity and Counting to the Fluted Fragment. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barenbaum, Eduardo Bonelli |
Reductions in Higher-Order Rewriting and Their Equivalence. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen |
Open Higher-Order Logic. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liron Cohen 0001, Vincent Rahli |
Realizing Continuity Using Stateful Computations. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller 0001, Jui-Hsuan Wu |
A Positive Perspective on Term Representation (Invited Talk). |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emile Hazard, Denis Kuperberg |
Explorable Automata. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Faggian |
Asymptotic Rewriting (Invited Talk). |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Joshua Grogin, Gera Weiss |
A Normalized Edit Distance on Infinite Words. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Renaud Vilmart |
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Elaine Pimentel (eds.) |
31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland. |
CSL |
2023 |
DBLP BibTeX RDF |
|
| 1 | Hiromi Tanaka |
Tower-Complete Problems in Contraction-Free Substructural Logics. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reijo Jaakkola |
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Wißmann |
Supported Sets - A New Foundation for Nominal Sets and Automata. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara 0002, Milos Nikolic 0001, Dan Olteanu, Haozhe Zhang |
Evaluation Trade-Offs for Acyclic Conjunctive Queries. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Dario Stein |
Counting and Matching. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Forster 0002, Felix Jahn |
Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Gierasimczuk |
Inductive Inference and Epistemic Modal Logic (Invited Talk). |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan |
A Lattice-Theoretical View of Strategy Iteration. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing |
Hennessy-Milner Theorems via Galois Connections. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Barrett, Willem Heijltjes, Guy McCusker |
The Functional Machine Calculus II: Semantics. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Clemens Kupke |
Measure-Theoretic Semantics for Quantitative Parity Automata. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata |
A Cyclic Proof System for Full Computation Tree Logic. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Enhanced Induction in Behavioural Relations (Invited Talk). |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reijo Jaakkola, Antti Kuusisto |
Complexity Classifications via Algebraic Logic. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo A. Pérez 0001, Ritam Raha |
Revisiting Parameter Synthesis for One-Counter Automata. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Brunerie, Axel Ljungström, Anders Mörtberg |
Synthetic Integral Cohomology in Cubical Agda. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruka Tomita |
Planar Realizability via Left and Right Applications. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Fernandes, Annabelle McIver, Carroll Morgan |
How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk). |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz |
Structural Properties of the First-Order Transduction Quasiorder. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang-Ting Chen 0001, Hsiang-Shang Ko |
Realising Intensional S4 and GL Modalities. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Castelnovo, Marino Miculan |
Fuzzy Algebraic Theories. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | András Kovács |
Generalized Universe Hierarchies and First-Class Universe Levels. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Maico Leberle |
Useful Open Call-By-Need. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist, Renato Neves |
An Internal Language for Categories Enriched over Generalised Metric Spaces. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license