- Monads, Comonads, and Transducers Rafał Stefański Fri 05 July 2024
- The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters George Kenison Fri 05 July 2024
- On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words Pavol Kebis Florian Luca Joel Ouaknine Andrew Scoones James Worrell Fri 05 July 2024
- An Efficient Quantifier Elimination Procedure for Presburger Arithmetic Christoph Haase Shankara Narayanan Krishna Khushraj Madnani Om Swostik Mishra Georg Zetzsche Fri 05 July 2024
- Flattability of Priority Vector Addition Systems Roland Guttenberg Fri 05 July 2024
- The 2-Dimensional Constraint Loop Problem Is Decidable Quentin Guilmant Engel Lefaucheux Joel Ouaknine James Worrell Fri 05 July 2024
- Improved Algorithm for Reachability in d-VASS Yuxi Fu Qizhe Yang Yangluo Zheng Fri 05 July 2024
- A Finite Presentation of Graphs of Treewidth at Most Three Amina Doumane Samuel Humeau Damien Pous Fri 05 July 2024
- Functional Closure Properties of Finite mathbbN-Weighted Automata Julian Dørfler Christian Ikenmeyer Fri 05 July 2024
- Finite-Memory Strategies for Almost-Sure Energy-MeanPayoff Objectives in MDPs Mohan Dantam Richard Mayr Fri 05 July 2024
- Integer Linear-Exponential Programming in NP by Quantifier Elimination Dmitry Chistikov Alessio Mansutti Mikhail R. Starchak Fri 05 July 2024
- The Structure of Trees in the Pushdown Hierarchy Arnaud Carayol Lucien Charamond Fri 05 July 2024
- Function Spaces for Orbit-Finite Sets Mikołaj Bojańczyk Lê Thành Dũng (Tito) Nguy~ên Rafał Stefański Fri 05 July 2024
- The Complexity of Computing in Continuous Time: Space Complexity Is Precision Manon Blanc Olivier Bournez Fri 05 July 2024
- Automata-Theoretic Characterisations of Branching-Time Temporal Logics Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron Fri 05 July 2024
- Decidability of Graph Neural Networks via Logical Characterizations Michael Benedikt Chia-Hsuan Lu Boris Motik Tony Tan Fri 05 July 2024
- Verification of Population Protocols with Unordered Data Steffen van Bergerem Roland Guttenberg Sandra Kiefer Corto Mascle Nicolas Waldburger Chana Weil-Kennedy Fri 05 July 2024
- On the Length of Strongly Monotone Descending Chains over mathbbN^d Sylvain Schmitz Lia Schutze Fri 05 July 2024
- A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions Wojciech Różowski Fri 05 July 2024
- Separability in Buchi VASS and Singly Non-Linear Systems of Inequalities Pascal Baumann Eren Keskin Roland Meyer Georg Zetzsche Fri 05 July 2024
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
