2024 share record
persistent URL:
Barbara König : Approximating Fixpoints of Approximated Functions (Invited Talk). CSL 2024 : 4:1-4:1 share record
persistent URL:
Julian Gutierrez , Anthony W. Lin , Muhammad Najib , Thomas Steeples , Michael J. Wooldridge : Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL 2024 : 32:1-32:25 share record
persistent URL:
Vincent Moreau , Lê Thành Dung Nguyên : Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. CSL 2024 : 40:1-40:22 share record
persistent URL:
Luisa Herrmann , 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 : 33:1-33:19 share record
persistent URL:
Anupam Das , Iris van der Giessen , Sonia Marin : Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. CSL 2024 : 22:1-22:18 share record
persistent URL:
Yannick Forster , Dominik Kirst , Niklas Mück : The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. CSL 2024 : 29:1-29:20 share record
persistent URL:
Beniamino Accattoli : Semantic Bounds and Multi Types, Revisited. CSL 2024 : 7:1-7:24 share record
persistent URL:
Matteo Acclavio , Gianluca Curzi , Giulio Guerrieri : Infinitary Cut-Elimination via Finite Approximations. CSL 2024 : 8:1-8:19 share record
persistent URL:
Veeti Ahvonen , Damian Heiman , Antti Kuusisto : Descriptive Complexity for Neural Networks via Boolean Networks. CSL 2024 : 9:1-9:22 share record
persistent URL:
Melissa Antonelli , Ugo Dal Lago , Davide Davoli , Isabel Oitavem , Paolo Pistone : Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL 2024 : 10:1-10:19 share record
persistent URL:
Quentin Aristote : Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids. CSL 2024 : 11:1-11:20 share record
persistent URL:
Anita Badyl , Pawel Parys : Extending the WMSO+U Logic with Quantification over Tuples. CSL 2024 : 12:1-12:20 share record
persistent URL:
Philippe Balbiani , Han Gao , Çigdem Gencer , Nicola Olivetti : A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL 2024 : 13:1-13:21 share record
persistent URL:
Davide Barbarossa , Paolo Pistone : Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. CSL 2024 : 14:1-14:23 share record
persistent URL:
Fausto Barbero , Jonni Virtema : Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. CSL 2024 : 15:1-15:19 share record
persistent URL:
Stefano Berardi , Gabriele Buriola , Peter Schuster : A General Constructive Form of Higman's Lemma. CSL 2024 : 16:1-16:17 share record
persistent URL:
Manon Blanc , Olivier Bournez : Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision. CSL 2024 : 17:1-17:20 share record
persistent URL:
Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux : From Local to Global Optimality in Concurrent Parity Games. CSL 2024 : 18:1-18:21 share record
persistent URL:
Sophie Brinke , Erich Grädel , Lovro Mrkonjic : Ehrenfeucht-Fraïssé Games in Semiring Semantics. CSL 2024 : 19:1-19:22 share record
persistent URL:
Balder ten Cate : Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). CSL 2024 : 2:1-2:2 share record
persistent URL:
Alexandre Clément , Noé Delorme , Simon Perdrix , Renaud Vilmart : Quantum Circuit Completeness: Extensions and Simplifications. CSL 2024 : 20:1-20:23 share record
persistent URL:
Geoff S. H. Cruttwell , Jean-Simon Pacaud Lemay : Reverse Tangent Categories. CSL 2024 : 21:1-21:21 share record
persistent URL:
Anuj Dawar , Lauri Hella : Quantifiers Closed Under Partial Polymorphisms. CSL 2024 : 23:1-23:19 share record
persistent URL:
Tom van Dijk , Georg Loho , Matthew T. Maat : The Worst-Case Complexity of Symmetric Strategy Improvement. CSL 2024 : 24:1-24:19 share record
persistent URL:
Matt Earnshaw , James Hefford , Mario Román : The Produoidal Algebra of Process Decomposition. CSL 2024 : 25:1-25:19 share record
persistent URL:
Maribel Fernández , Jean Goubault-Larrecq , Delia Kesner : The Ackermann Award 2023. CSL 2024 : 1:1-1:4 share record
persistent URL:
Eldar Fischer , Johann A. Makowsky : Extensions and Limits of the Specker-Blatter Theorem. CSL 2024 : 26:1-26:20 share record
persistent URL:
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 : 27:1-27:17 share record
persistent URL:
Laura Fontanella , Guillaume Geoffroy , Richard Matthews : Realizability Models for Large Cardinals. CSL 2024 : 28:1-28:18 share record
persistent URL:
Georg Gottlob : Artificial Intelligence and Artificial Ignorance (Invited Talk). CSL 2024 : 3:1-3:1