researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2020
2021
2022
2023
2024
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Meta-Environment
analysis
completeness
constraints
data-flow
e-science
graph-rewriting
logic
logic programming
meta-model
modal logic
model checking
programming
rewriting
rule-based
semantics
subtyping
type theory
Filter by Author
[+]
OR
AND
NOT
1
Anuj Dawar
Claudia Faggian
Damian Niwinski
Dexter Kozen
Emanuel Kieronski
Erich Grädel
Heribert Vollmer
Jean Goubault-Larrecq
Jean-François Raskin
Johann A. Makowsky
Krishnendu Chatterjee
Martin Grohe
Matthias Baaz
Nicole Schweikardt
Orna Kupferman
Samson Abramsky
Stephan Kreutzer
Thomas A. Henzinger
Thomas Ehrhard
Yuri Gurevich
Filter by Top terms
[+]
OR
AND
NOT
1
automata
calculus
complexity
computer
conference
first
games
invited
linear
logic
logics
model
order
proof
science
semantics
structures
systems
theory
type
CSL (csl)
Editions
Publications
Viewing Publication 1 - 100 from 1431
2024
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations
Vincent Moreau 0001
,
Lê Thành Dung Nguyên
.
csl 2024
:
[doi]
Approximating Fixpoints of Approximated Functions (Invited Talk)
Barbara König 0001
.
csl 2024
:
[doi]
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
Luisa Herrmann 0001
,
Vincent Peth
,
Sebastian Rudolph
.
csl 2024
:
[doi]
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
Julian Gutierrez 0001
,
Anthony W. Lin
,
Muhammad Najib
,
Thomas Steeples
,
Michael J. Wooldridge
.
csl 2024
:
[doi]
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics
Anupam Das 0002
,
Iris van der Giessen
,
Sonia Marin
.
csl 2024
:
[doi]
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions
Yannick Forster 0002
,
Dominik Kirst
,
Niklas Mück
.
csl 2024
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
csl 2024
:
[doi]
Semantic Bounds and Multi Types, Revisited
Beniamino Accattoli
.
csl 2024
:
[doi]
Infinitary Cut-Elimination via Finite Approximations
Matteo Acclavio
,
Gianluca Curzi
,
Giulio Guerrieri
.
csl 2024
:
[doi]
Descriptive Complexity for Neural Networks via Boolean Networks
Veeti Ahvonen
,
Damian Heiman
,
Antti Kuusisto
.
csl 2024
:
[doi]
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
Melissa Antonelli
,
Ugo Dal Lago
,
Davide Davoli
,
Isabel Oitavem
,
Paolo Pistone
.
csl 2024
:
[doi]
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Quentin Aristote
.
csl 2024
:
[doi]
Extending the WMSO+U Logic with Quantification over Tuples
Anita Badyl
,
Pawel Parys
.
csl 2024
:
[doi]
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
Philippe Balbiani
,
Han Gao
,
Çigdem Gencer
,
Nicola Olivetti
.
csl 2024
:
[doi]
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs
Davide Barbarossa
,
Paolo Pistone
.
csl 2024
:
[doi]
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Fausto Barbero
,
Jonni Virtema
.
csl 2024
:
[doi]
A General Constructive Form of Higman's Lemma
Stefano Berardi
,
Gabriele Buriola
,
Peter Schuster 0001
.
csl 2024
:
[doi]
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision
Manon Blanc
,
Olivier Bournez
.
csl 2024
:
[doi]
From Local to Global Optimality in Concurrent Parity Games
Benjamin Bordais
,
Patricia Bouyer
,
Stéphane Le Roux 0001
.
csl 2024
:
[doi]
Ehrenfeucht-Fraïssé Games in Semiring Semantics
Sophie Brinke
,
Erich Grädel
,
Lovro Mrkonjic
.
csl 2024
:
[doi]
Quantum Circuit Completeness: Extensions and Simplifications
Alexandre Clément
,
Noé Delorme
,
Simon Perdrix
,
Renaud Vilmart
.
csl 2024
:
[doi]
Reverse Tangent Categories
Geoff S. H. Cruttwell
,
Jean-Simon Pacaud Lemay
.
csl 2024
:
[doi]
Quantifiers Closed Under Partial Polymorphisms
Anuj Dawar
,
Lauri Hella
.
csl 2024
:
[doi]
The Produoidal Algebra of Process Decomposition
Matt Earnshaw
,
James Hefford
,
Mario Román
.
csl 2024
:
[doi]
The Ackermann Award 2023
Maribel Fernández
,
Jean Goubault-Larrecq
,
Delia Kesner
.
csl 2024
:
[doi]
Extensions and Limits of the Specker-Blatter Theorem
Eldar Fischer
,
Johann A. Makowsky
.
csl 2024
:
[doi]
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
Eva Fluck
,
Tim Seppelt
,
Gian Luca Spitzer
.
csl 2024
:
[doi]
Realizability Models for Large Cardinals
Laura Fontanella
,
Guillaume Geoffroy
,
Richard Matthews
.
csl 2024
:
[doi]
Artificial Intelligence and Artificial Ignorance (Invited Talk)
Georg Gottlob
.
csl 2024
:
[doi]
Remarks on Parikh-Recognizable Omega-languages
Mario Grobler
,
Leif Sabellek
,
Sebastian Siebertz
.
csl 2024
:
[doi]
Energy Games over Totally Ordered Groups
Alexander Kozachinskiy
.
csl 2024
:
[doi]
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk)
Marta Kwiatkowska
.
csl 2024
:
[doi]
QLTL Model-Checking
François Laroussinie
,
Loriane Leclercq
,
Arnaud Sangnier
.
csl 2024
:
[doi]
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability
Moritz Lichter
,
Benedikt Pago
,
Tim Seppelt
.
csl 2024
:
[doi]
Confluence of Conditional Rewriting Modulo
Salvador Lucas
.
csl 2024
:
[doi]
A First Order Theory of Diagram Chasing
Assia Mahboubi
,
Matthieu Piquerez
.
csl 2024
:
[doi]
Promise and Infinite-Domain Constraint Satisfaction
Antoine Mottet
.
csl 2024
:
[doi]
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy
Aniello Murano
,
Alexandra Silva 0001
, editors,
Volume 288 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2024.
[doi]
What Monads Can and Cannot Do with a Bit of Extra Time
Rasmus Ejlers Møgelberg
,
Maaike Zwart
.
csl 2024
:
[doi]
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic
Satoshi Nakata
.
csl 2024
:
[doi]
Coherence by Normalization for Linear Multicategorical Structures
Federico Olimpieri
.
csl 2024
:
[doi]
Conservativity of Type Theory over Higher-Order Arithmetic
Daniël Otten
,
Benno van den Berg
.
csl 2024
:
[doi]
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic
Thomas Place
,
Marc Zeitoun
.
csl 2024
:
[doi]
Concurrent Stochastic Lossy Channel Games
Daniel Stan
,
Muhammad Najib
,
Anthony Widjaja Lin
,
Parosh Aziz Abdulla
.
csl 2024
:
[doi]
Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics
Jonathan Sterling
,
Daniel Gratzer
,
Lars Birkedal
.
csl 2024
:
[doi]
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)
Balder ten Cate
.
csl 2024
:
[doi]
Guarded Hybrid Team Logics
Marius Tritschler
.
csl 2024
:
[doi]
The Worst-Case Complexity of Symmetric Strategy Improvement
Tom van Dijk
,
Georg Loho
,
Matthew T. Maat
.
csl 2024
:
[doi]
Logical Algorithmics: From Theory to Practice (Invited Talk)
Moshe Y. Vardi
.
csl 2024
:
[doi]
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs
Éric Goubault
,
Roman Kniazev
,
Jérémy Ledent
.
csl 2024
:
[doi]
2023
A Positive Perspective on Term Representation (Invited Talk)
Dale Miller 0001
,
Jui-Hsuan Wu
.
csl 2023
:
[doi]
Realizing Continuity Using Stateful Computations
Liron Cohen 0001
,
Vincent Rahli
.
csl 2023
:
[doi]
Counting and Matching
Bart Jacobs 0001
,
Dario Stein
.
csl 2023
:
[doi]
String Diagrams for Non-Strict Monoidal Categories
Paul W. Wilson 0002
,
Dan R. Ghica
,
Fabio Zanasi
.
csl 2023
:
[doi]
Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq
Yannick Forster 0002
,
Felix Jahn
.
csl 2023
:
[doi]
Evaluation Trade-Offs for Acyclic Conjunctive Queries
Ahmet Kara 0002
,
Milos Nikolic 0001
,
Dan Olteanu
,
Haozhe Zhang
.
csl 2023
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
csl 2023
:
[doi]
A Cyclic Proof System for Full Computation Tree Logic
Bahareh Afshari
,
Graham E. Leigh
,
Guillermo Menéndez Turata
.
csl 2023
:
[doi]
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
Mario Alvarez-Picallo
,
Dan R. Ghica
,
David Sprunger
,
Fabio Zanasi
.
csl 2023
:
[doi]
A Lattice-Theoretical View of Strategy Iteration
Paolo Baldan
,
Richard Eggert
,
Barbara König 0001
,
Tommaso Padoan
.
csl 2023
:
[doi]
Proofs and Refutations for Intuitionistic and Second-Order Logic
Pablo Barenbaum
,
Teodoro Freund
.
csl 2023
:
[doi]
Reductions in Higher-Order Rewriting and Their Equivalence
Pablo Barenbaum
,
Eduardo Bonelli
.
csl 2023
:
[doi]
The Functional Machine Calculus II: Semantics
Chris Barrett
,
Willem Heijltjes
,
Guy McCusker
.
csl 2023
:
[doi]
Degree Spectra, and Relative Acceptability of Notations
Nikolay Bazhenov
,
Dariusz Kalocinski
.
csl 2023
:
[doi]
Hennessy-Milner Theorems via Galois Connections
Harsh Beohar
,
Sebastian Gurke
,
Barbara König 0001
,
Karla Messing
.
csl 2023
:
[doi]
A Curry-Howard Correspondence for Linear, Reversible Computation
Kostia Chardonnet
,
Alexis Saurin
,
Benoît Valiron
.
csl 2023
:
[doi]
Non-Uniform Complexity via Non-Wellfounded Proofs
Gianluca Curzi
,
Anupam Das 0002
.
csl 2023
:
[doi]
Measure-Theoretic Semantics for Quantitative Parity Automata
Corina Cîrstea
,
Clemens Kupke
.
csl 2023
:
[doi]
Frobenius Structures in Star-Autonomous Categories
Cédric de Lacroix
,
Luigi Santocanale
.
csl 2023
:
[doi]
Asymptotic Rewriting (Invited Talk)
Claudia Faggian
.
csl 2023
:
[doi]
Translating Proofs from an Impredicative Type System to a Predicative One
Thiago Felicissimo
,
Frédéric Blanqui
,
Ashish Kumar Barnawal
.
csl 2023
:
[doi]
A Normalized Edit Distance on Infinite Words
Dana Fisman
,
Joshua Grogin
,
Gera Weiss
.
csl 2023
:
[doi]
Quantitative Hennessy-Milner Theorems via Notions of Density
Jonas Forster
,
Sergey Goncharov 0001
,
Dirk Hofmann
,
Pedro Nora
,
Lutz Schröder
,
Paul Wild
.
csl 2023
:
[doi]
Inductive Inference and Epistemic Modal Logic (Invited Talk)
Nina Gierasimczuk
.
csl 2023
:
[doi]
Order-Invariance in the Two-Variable Fragment of First-Order Logic
Julien Grange
.
csl 2023
:
[doi]
Explorable Automata
Emile Hazard
,
Denis Kuperberg
.
csl 2023
:
[doi]
The Expressive Power of CSP-Quantifiers
Lauri Hella
.
csl 2023
:
[doi]
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
Reijo Jaakkola
.
csl 2023
:
[doi]
Complexity Classifications via Algebraic Logic
Reijo Jaakkola
,
Antti Kuusisto
.
csl 2023
:
[doi]
Gödel's Theorem Without Tears - Essential Incompleteness in Synthetic Computability
Dominik Kirst
,
Benjamin Peters
.
csl 2023
:
[doi]
31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland
Bartek Klin
,
Elaine Pimentel
, editors,
Volume 252 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023.
[doi]
Open Higher-Order Logic
Ugo Dal Lago
,
Francesco Gavazzo
,
Alexis Ghyselen
.
csl 2023
:
[doi]
Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
Benedikt Pago
.
csl 2023
:
[doi]
Adding Transitivity and Counting to the Fluted Fragment
Ian Pratt-Hartmann
,
Lidia Tendera
.
csl 2023
:
[doi]
Enhanced Induction in Behavioural Relations (Invited Talk)
Davide Sangiorgi
.
csl 2023
:
[doi]
Parity Games of Bounded Tree-Depth
Konrad Staniszewski
.
csl 2023
:
[doi]
Tower-Complete Problems in Contraction-Free Substructural Logics
Hiromi Tanaka
.
csl 2023
:
[doi]
Dynamic Complexity of Regular Languages: Big Changes, Small Work
Felix Tschirbs
,
Nils Vortmeier
,
Thomas Zeume
.
csl 2023
:
[doi]
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation
Renaud Vilmart
.
csl 2023
:
[doi]
Supported Sets - A New Foundation for Nominal Sets and Automata
Thorsten Wißmann
.
csl 2023
:
[doi]
2022
Spatial Existential Positive Logics for Hyperedge Replacement Grammars
Yoshiki Nakamura 0001
.
csl 2022
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
csl 2022
:
[doi]
Weighted Automata and Expressions over Pre-Rational Monoids
Nicolas Baudru
,
Louis-Marie Dando
,
Nathan Lhote
,
Benjamin Monmege
,
Pierre-Alain Reynier
,
Jean-Marc Talbot
.
csl 2022
:
[doi]
Synthetic Integral Cohomology in Cubical Agda
Guillaume Brunerie
,
Axel Ljungström
,
Anders Mörtberg
.
csl 2022
:
[doi]
Fuzzy Algebraic Theories
Davide Castelnovo
,
Marino Miculan
.
csl 2022
:
[doi]
Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals
Matthew de Brecht
.
csl 2022
:
[doi]
Parallelism in Soft Linear Logic
Paulin Jacobé de Naurois
.
csl 2022
:
[doi]
Differential Games, Locality, and Model Checking for FO Logic of Graphs
Jakub Gajarský
,
Maximilian Gorsky
,
Stephan Kreutzer
.
csl 2022
:
[doi]
Cyclic Proofs for Transfinite Expressions
Emile Hazard
,
Denis Kuperberg
.
csl 2022
:
[doi]
Planar Realizability via Left and Right Applications
Haruka Tomita
.
csl 2022
:
[doi]
Sign in
or
sign up
to see more results.