share record
persistent URL:
Éric Goubault , Roman Kniazev , Jérémy Ledent : A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL 2024 : 30:1-30:18 share record
persistent URL:
Alexander Kozachinskiy : Energy Games over Totally Ordered Groups. CSL 2024 : 34:1-34:12 share record
persistent URL:
Marta Kwiatkowska : Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). CSL 2024 : 5:1-5:2 share record
persistent URL:
François Laroussinie , Loriane Leclercq , Arnaud Sangnier : QLTL Model-Checking. CSL 2024 : 35:1-35:18 share record
persistent URL:
Moritz Lichter , Benedikt Pago , Tim Seppelt : Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability. CSL 2024 : 36:1-36:19 share record
persistent URL:
Salvador Lucas : Confluence of Conditional Rewriting Modulo. CSL 2024 : 37:1-37:21 share record
persistent URL:
Assia Mahboubi , Matthieu Piquerez : A First Order Theory of Diagram Chasing. CSL 2024 : 38:1-38:19 share record
persistent URL:
Rasmus Ejlers Møgelberg , Maaike Zwart : What Monads Can and Cannot Do with a Bit of Extra Time. CSL 2024 : 39:1-39:18 share record
persistent URL:
Antoine Mottet : Promise and Infinite-Domain Constraint Satisfaction. CSL 2024 : 41:1-41:19 share record
persistent URL:
Satoshi Nakata : Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. CSL 2024 : 42:1-42:21 share record
persistent URL:
Federico Olimpieri : Coherence by Normalization for Linear Multicategorical Structures. CSL 2024 : 43:1-43:17 share record
persistent URL:
Daniël Otten , Benno van den Berg : Conservativity of Type Theory over Higher-Order Arithmetic. CSL 2024 : 44:1-44:23 share record
persistent URL:
Thomas Place , Marc Zeitoun : A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic. CSL 2024 : 45:1-45:23 share record
persistent URL:
Daniel Stan , Muhammad Najib , Anthony Widjaja Lin , Parosh Aziz Abdulla : Concurrent Stochastic Lossy Channel Games. CSL 2024 : 46:1-46:19 share record
persistent URL:
Jonathan Sterling , Daniel Gratzer , Lars Birkedal : Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. CSL 2024 : 47:1-47:21 share record
persistent URL:
Marius Tritschler : Guarded Hybrid Team Logics. CSL 2024 : 48:1-48:22 share record
persistent URL:
Moshe Y. Vardi : Logical Algorithmics: From Theory to Practice (Invited Talk). CSL 2024 : 6:1-6:1 share record
persistent URL:
Front Matter, Table of Contents, Preface, Conference Organization. CSL 2024 : 0:1-0:14 share record
persistent URL:
Aniello Murano , Alexandra Silva : 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. LIPIcs 288, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024 , ISBN 978-3-95977-310-2 [contents] 2023 share record
persistent URL:
Liron Cohen , Vincent Rahli : Realizing Continuity Using Stateful Computations. CSL 2023 : 15:1-15:18 share record
persistent URL:
Bart Jacobs , Dario Stein : Counting and Matching. CSL 2023 : 28:1-28:15 share record
persistent URL:
Dale Miller , Jui-Hsuan Wu : A Positive Perspective on Term Representation (Invited Talk). CSL 2023 : 3:1-3:21 share record
persistent URL:
Ahmet Kara , Milos Nikolic , Dan Olteanu , Haozhe Zhang : Evaluation Trade-Offs for Acyclic Conjunctive Queries. CSL 2023 : 29:1-29:20 share record
persistent URL:
Paul W. Wilson , Dan R. Ghica , Fabio Zanasi : String Diagrams for Non-Strict Monoidal Categories. CSL 2023 : 37:1-37:19 share record
persistent URL:
Yannick Forster , Felix Jahn : Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq. CSL 2023 : 21:1-21:21 share record
persistent URL:
Bahareh Afshari , Graham E. Leigh , Guillermo Menéndez Turata : A Cyclic Proof System for Full Computation Tree Logic. CSL 2023 : 5:1-5:19 export record
dblp key:
conf/csl/Alvarez-Picallo23 share record
persistent URL:
Mario Alvarez-Picallo , Dan R. Ghica , David Sprunger , Fabio Zanasi : Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL 2023 : 6:1-6:20 share record
persistent URL:
Paolo Baldan , Richard Eggert , Barbara König , Tommaso Padoan : A Lattice-Theoretical View of Strategy Iteration. CSL 2023 : 7:1-7:19 share record
persistent URL:
Pablo Barenbaum , Eduardo Bonelli : Reductions in Higher-Order Rewriting and Their Equivalence. CSL 2023 : 8:1-8:18