- Decidable fragments of first-order modal logics Frank Wolter Michael Zakharyaschev Sun 09 March 2025
- Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One José Cano Sebastian Falkensteiner J. Rafael Sendra Sun 09 March 2025
- On an enumeration problem Marcel-Paul Schützenberger Sun 09 March 2025
- Robin Milner's Work on Concurrency: An Appreciation Samson Abramsky Sun 09 March 2025
- Effective Reductions of Mealy Machines Florian Renkin Philipp Schlehuber-Caissier Alexandre Duret-Lutz Adrien Pommellet Sun 09 March 2025
- Membership Problems in Finite Groups Markus Lohrey Andreas Rosowski Georg Zetzsche Sun 09 March 2025
- The sequence equivalence problem for dol systems is decidable K. Čulik I. Friš Sun 09 March 2025
- The decidability of equivalence for deterministic finite transducers Meera Blattner Tom Head Sun 09 March 2025
- On the construction of comma-free codes W. Eastman Sun 09 March 2025
- 50 Years of Computational Complexity: Hao Wang and the Theory of Computation Nick Zhang Sun 09 March 2025
- Twin-width and types Jakub Gajarský Michał Pilipczuk Wojciech Przybyszewski Szymon Toruńczyk Sun 09 March 2025
- Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory Clément Bertrand Hanna Klaudel Frédéric Peschanski Sun 09 March 2025
- Simulating Time With Square-Root Space R. Ryan Williams Sun 09 March 2025
- Merge-width and First-Order Model Checking Jan Dreier Szymon Toruńczyk Sun 09 March 2025
- PARTIAL ORDER REDUCTION FOR TIMED SYSTEMS Govind Rajanbabu Sun 09 March 2025
- Regular Languages in the Sliding Window Model Moses Ganardi Danny Hucke Markus Lohrey Konstantinos Mamouras Tatiana Starikovskaya Sun 09 March 2025
- Formalizing zeta and L-functions in Lean David Loeffler Michael Stoll Sun 09 March 2025
- Succinct Perfect Zero-knowledge for MIP* Honghao Fu Xingjian Zhang Sun 09 March 2025
- Linearization via Rewriting (Long Version) Ugo Dal Lago Federico Olimpieri Sun 09 March 2025
- Learning Deterministic One-Counter Automata in Polynomial Time Prince Mathew Vincent Penelle A.~V. Sreejith Sun 09 March 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
