- A bound for the RosenfeldGröbner algorithm Oleg Golubitsky Marina Kondratieva Marc Moreno Maza Alexey Ovchinnikov Mon 14 October 2024
- P-Recursive Integer Sequences and AutomataTheory Scott Michael Garrabrant Mon 14 October 2024
- Non-commutative Rational Power Series and Algebraic Generating Functions Mark Haiman Mon 14 October 2024
- The solution of a decision problem for several classes of rings Harold Simmons Sun 13 October 2024
- The word problem for division rings Angus Macintyre Sun 13 October 2024
- Language Equivalence from Nondeterministic to Weighted Automata and Back Michele Boreale Luisa Collodi Sun 13 October 2024
- Certifying rings of integers in number fields Anne Baanen Alain Chavarri Villarello Sander R. Dahmen Sat 12 October 2024
- Beyond Decisiveness of Infinite Markov Chains Benoît Barbot Patricia Bouyer Serge Haddad Sat 12 October 2024
- Conway's cosmological theorem and automata theory Pierre Lairez Aleksandr Storozhenko Sat 12 October 2024
- The complexity of separability for semilinear sets and Parikh automata Elias Rojas Collins Chris Køcher Georg Zetzsche Sat 12 October 2024
- A Naturally-Colored Translation from LTL to Parity and COCOA Rudiger Ehlers Ayrat Khalimov Sat 12 October 2024
- Transformers as Transducers Lena Strobl Dana Angluin David Chiang Jonathan Rawski Ashish Sabharwal Sat 12 October 2024
- A Myhill-Nerode style Characterization for Timed Automata With Integer Resets Kyveli Doveri Pierre Ganty B. Srivathsan Sat 12 October 2024
- The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds Karl Bringmann Allan Grønlund Marvin Kunnemann Kasper Green Larsen Sat 12 October 2024
- A New Notion of Regularity: Finite State Automata Accepting Graphs Yvo Ad Meeres Sat 12 October 2024
- Presheaf automata Georg Struth Krzysztof Ziemiański Sat 12 October 2024
- Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata Daniel Smertnig Antoni Puch Sat 12 October 2024
- Equations in wreath products Laurent Bartholdi Ruiwen Dong Leon Pernak Jan Philipp Wachter Sat 12 October 2024
- A Usage-Aware Sequent Calculus for Differential Dynamic Logic Myra Dotzel Stefan Mitsch André Platzer Sat 12 October 2024
- Deciding subspace reachability problems with application to Skolem's Problem Samuel Everett Sat 12 October 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
