- The Word Problem William W. Boone Wed 19 November 2025
- mathrmTIME[t]subseteq mathrmSPACE[O(sqrtt)] via Tree Height Compression Logan Nye Mon 17 November 2025
- The field of the reals and the random graph are not finite-word ordinal-automatic Alexander Karzow Sun 16 November 2025
- Presenting Distributive Laws Marcello M. Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot Sat 15 November 2025
- Learning Task Automata for Reinforcement Learning using Hidden Markov Models Alessandro Abate Yousif Almulla James Fox David Hyland Michael Wooldridge Fri 14 November 2025
- More on a rational recurrence relation Stevo Stević Tue 11 November 2025
- Higher-Order Timed Automata and Tail Recursion Florian Bruse Tue 11 November 2025
- On the algebraic closure of two H. W Lenstra Tue 04 November 2025
- Analytic Nullstellensatze and the model theory of valued fields Matthias Aschenbrenner Ahmed Srhir Mon 03 November 2025
- Languages and the enumeration of planted plane trees Werner Kuich Mon 03 November 2025
- On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number Jorge Gallego-Hernández Alessio Mansutti Sat 01 November 2025
- Automatic Structures Achim Blumensath Erich Gradel Fri 31 October 2025
- Homomorphism Problems in Graph Databases and Automatic Structures Rémi Morvan Fri 31 October 2025
- The Functional Machine Calculus III: Control Willem Heijltjes Fri 31 October 2025
- Quantitative Types for the Functional Machine Calculus Willem Heijltjes Fri 31 October 2025
- A Hierarchy of Automatic-Words having a Decidable MSO Theory Vince Bárány Thu 30 October 2025
- Simple Classes of Automatic Structures Achim Blumensath Thu 30 October 2025
- Correction to An application of graph theory to algebra Richard G. Swan Wed 29 October 2025
- An application of graph theory to algebra Richard G. Swan Wed 29 October 2025
- Remarks on minimal identities for algebras A. S. Amitsur J. Levitzki Wed 29 October 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
