- Quantifying over Trees in Monadic Second-Order Logic Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron Fri 28 April 2023
- Central Submonads and Notions of Computation TItouan Carette Louis Lemonnier Vladimir Zamdzhiev Fri 28 April 2023
- Set-Theoretic and Type-Theoretic Ordinals Coincide Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu Fri 28 April 2023
- Weak Similarity in Higher-Order Mathematical Operational Semantics Henning Urbat Stelios Tsampas Sergey Goncharov Stefan Milius Lutz Schrøder Fri 28 April 2023
- ømegaPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs Mathieu Huot Alexander K. Lew Vikash K. Mansinghka Sam Staton Fri 28 April 2023
- Symmetries of structures that fail to interpret something finite Libor Barto Bertalan Bodor Marcin Kozik Antoine Mottet Michael Pinsker Fri 28 April 2023
- Computational expressivity of (circular) proofs with fixed points Gianluca Curzi Anupam Das Fri 28 April 2023
- Semi-simplicial Set Models for Distributed Knowledge Eric Goubault Roman Kniazev Jérémy Ledent Sergio Rajsbaum Fri 28 April 2023
- Higher-dimensional subdiagram matching Amar Hadzihasanovic Diana Kessler Fri 28 April 2023
- Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives Jan Křetínský Tobias Meggendorfer Maximilian Weininger Fri 28 April 2023
- A categorical account of composition methods in logic Tomáš Jakl Dan Marsden Nihil Shah Fri 28 April 2023
- Simulating Logspace-Recursion with Logarithmic Quantifier Depth Steffen van Bergerem Martin Grohe Sandra Kiefer Luca Oeljeklaus Fri 28 April 2023
- Automatic Amortized Resource Analysis with Regular Recursive Types Jessie Grosen David M. Kahn Jan Hoffmann Fri 28 April 2023
- Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF Johannes K. Fichte Robert Ganian Markus Hecher Friedrich Slivovsky Sebastian Ordyniak Fri 28 April 2023
- Multiplicity Problems on Algebraic Series and Context-Free Grammars Nikhil Balaji Lorenzo Clemente Klara Nosan Mahsa Shirmohammadi James Worrell Fri 28 April 2023
- On the Sum of Square Roots of Polynomials and Related Problems Neeraj Kayal Chandan Saha Fri 28 April 2023
- Cut-restriction: from cuts to analytic cuts Agata Ciabattoni Timo Lang Revantha Ramanayake Fri 28 April 2023
- A Higher-Order Indistinguishability Logic for Cryptographic Reasoning David Baelde Adrien Koutsos Joseph Lallemand Fri 28 April 2023
- The Probabilistic Rabin Tree Theorem Damian Niwiński Paweł Parys Michał Skrzypczak Fri 28 April 2023
- Pseudorandom Finite Models Jan Dreier Jamie Tucker-Foltz Fri 28 April 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
