- The Orbit Problem for parametric linear dynamical systems Christel Baier Florian Funke Simon Jantsch Engel Lefaucheux Florian Luca Joel Ouaknine David Purser Markus A. Whiteland James Worrell Mon 22 February 2021
- On synthesizing Skolem functions for first order logic formulae S. Akshay Supratik Chakraborty Mon 22 February 2021
- Profinite Methods in Automata Theory Jean-Eric Pin Fri 19 February 2021
- On polynomial grammars extended with substitution Janusz Schmude Thu 18 February 2021
- On the computational complexity of ordinary differential equations Ker-I Ko Wed 17 February 2021
- Lipschitz Continuous Ordinary Differential Equations are Polynomial-Space Complete Akitoshi Kawamura Wed 17 February 2021
- Computational complexity of solving polynomial differential equations over unbounded domains Amaury Pouly Daniel S. Graça Wed 17 February 2021
- The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata Antoine Mottet Karin Quaas Wed 17 February 2021
- New Techniques for Universality in Unambiguous Register Automata Wojciech Czerwiński Antoine Mottet Karin Quaas Wed 17 February 2021
- Generalizing a theorem of Bès and Choffrut Erik Walsberg Mon 15 February 2021
- Delay Games with WMSO+U Winning Conditions Martin Zimmermann Mon 15 February 2021
- A characterization of definability in the theory of real addition Alexis Bès Christian Choffrut Mon 15 February 2021
- Synchronizing Strongly Connected Partial DFAs Mikhail V. Berlinkov Robert Ferens Andrew Ryzhikov Marek Szykuła Sun 14 February 2021
- Resolution with Symmetry Rule applied to Linear Equations Pascal Schweitzer Constantin Seebach Sun 14 February 2021
- Solving one variable word equations in the free group in cubic time Robert Ferens Artur Jeż Sun 14 February 2021
- A Ramsey Theorem for Finite Monoids Ismael Jecker Sun 14 February 2021
- On the Commutative Equivalence of Algebraic Formal Series and Languages Arturo Carpi Flavio D'Alessandro Sun 14 February 2021
- Exploring Rulial Space: The Case of Turing Machines Stephen Wolfram Sun 14 February 2021
- Products in a Category with Only One Object Richard Statman Sun 14 February 2021
- Subgame-perfect Equilibria in Mean-payoff Games Léonard Brice Jean-François Raskin Marie Van Den Bogaard Sun 14 February 2021
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
