- A First Look at Differential Algebra John H. Hubbard Benjamin E. Lundell Mon 08 May 2023
- Population Protocols with Unordered Data Michael Blondin François Ladouceur Sun 07 May 2023
- The complexity of Presburger arithmetic with power or powers Michael Benedikt Dmitry Chistikov Alessio Mansutti Sun 07 May 2023
- Contextual Equivalence for Alternation and Urgency Eren Keskin Roland Meyer Søren van der Wall Sun 07 May 2023
- A Monoidal View on Fixpoint Checks Paolo Baldan Richard Eggert Barbara Kønig Timo Matt Tommaso Padoan Sun 07 May 2023
- Developments in Higher-Dimensional Automata Theory Amazigh Amrane Hugo Bazille Uli Fahrenberg Krzysztof Ziemiański Sun 07 May 2023
- Separability and Non-Determinizability of WSTS Eren Keskin Roland Meyer Sun 07 May 2023
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity Clemens Grabmayer Fri 05 May 2023
- Geometry of Reachability sets of Vector Addition Systems Roland Guttenberg Mikhail Raskin Javier Esparza Fri 05 May 2023
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures Luisa Herrmann Sebastian Rudolph Fri 05 May 2023
- History-deterministic Vector Addition Systems Sougata Bose David Purser Patrick Totzke Fri 05 May 2023
- Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes Jan Dreier Fri 05 May 2023
- Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality Marvin Kunnemann Filip Mazowiecki Lia Schutze Henry Sinclair-Banks Karol Węgrzycki Fri 05 May 2023
- Positionality of mean-payoff games on infinite graphs Pierre Ohlmann Fri 05 May 2023
- Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games Paweł Parys Aleksander Wiącek Fri 05 May 2023
- A semi-abelian approach to directed homology Eric Goubault Fri 05 May 2023
- A Critique of Czerwinski's ''Separation of rm PSPACE and rm EXP'' Ian Clingerman Quan Luu Fri 05 May 2023
- Solving systems of linear equations over polynomials R. Kannan Thu 04 May 2023
- Positive Data Languages Florian Frank Stefan Milius Henning Urbat Sat 29 April 2023
- On Exact Sampling in the Two-Variable Fragment of First-Order Logic Yuanhong Wang Juhua Pu Yuyi Wang Ondřej Kużelka Fri 28 April 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
