- Polynomials with multiple zeros R. Guting Wed 05 October 2022
- Some Useful Bounds M. Mignotte Wed 05 October 2022
- Asymptotics of Bernoulli random walks, bridges, excursions and meanders with a given number of peaks Jean-Maxime Labarbe Jean-François Marckert Mon 03 October 2022
- Recursion does not always help Gordon Plotkin Mon 03 October 2022
- Cost Automata, Safe Schemes, and Downward Closures David Barozzini Lorenzo Clemente Thomas Colcombet Paweł Parys Mon 03 October 2022
- Twin-width V: linear minors, modular counting, and matrix multiplication Édouard Bonnet Ugo Giocanti Patrice Ossona de Mendez Stéphan Thomassé Mon 03 October 2022
- Characterising memory in infinite games Antonio Casares Pierre Ohlmann Mon 03 October 2022
- A characterization of functions over the integers computable in polynomial time using discrete differential equations Olivier Bournez Arnaud Durand Mon 03 October 2022
- Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions) Clemens Grabmayer Mon 03 October 2022
- Polynomial time computable functions over the reals characterized using discrete ordinary differential equations Manon Blanc Olivier Bournez Mon 03 October 2022
- A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations Manon Blanc Olivier Bournez Mon 03 October 2022
- Enumerating Regular Languages in Constant Delay Antoine Amarilli Mikael Monet Mon 03 October 2022
- Finite Generation of Symmetric Ideals Matthias Aschenbrenner Christopher J. Hillar Mon 26 September 2022
- What's Decidable about Discrete Linear Dynamical Systems Toghrul Karimov Edon Kelmendi Joel Ouaknine James Worrell Fri 23 September 2022
- Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States Tikhon Pshenitsyn Fri 23 September 2022
- Polynomial Identification of omega-Automata Dana Angluin Dana Fisman Yaara Shoval Fri 23 September 2022
- A Hierarchy of Nondeterminism Bader Abu Radi Orna Kupferman Ofer Leshkowitz Fri 23 September 2022
- Model-Checking Branching-Time Properties of Stateless Probabilistic Pushdown Systems and Its Quantum Extension Tianrong Lin Fri 23 September 2022
- From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics Corto Mascle Daniel Neider Maximilian Schwenger Paulo Tabuada Alexander Weinert Martin Zimmermann Fri 16 September 2022
- The Hairy Ball Problem is PPAD-Complete Paul W. Goldberg Alexandros Hollender Fri 16 September 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
