- Weighted One-Deterministic-Counter Automata Prince Mathew Vincent Penelle Prakash Saivasan A.V. Sreejith Sat 16 December 2023
- Counter Machines with Infrequent Reversals Alain Finkel Shankara Narayanan Krishna Khushraj Madnani Rupak Majumdar Georg Zetzsche Sat 16 December 2023
- Regular Separators for VASS Coverability Languages Chris Köcher Georg Zetzsche Sat 16 December 2023
- One application of real-valued interpretation of formal power series An. A. Muchnik Sat 16 December 2023
- Cocke--Younger--Kasami--Schwartz--Zippel algorithm and relatives Vladislav Makarov Sat 16 December 2023
- Automatic Theorem Proving in Walnut Hamoon Mousavi Sat 16 December 2023
- Why the equivalence problem for unambiguous grammars has not been solved back in 1966 Vladislav Makarov Sat 16 December 2023
- Foreword to the article: Computing representations for radicals of finitely generated differential ideals François Boulier Sat 16 December 2023
- A numerical-symbolic algorithm for computing the multiplicity of a component of an algebraic set Dan Bates Chris Peterson Andrew J. Sommese Tue 05 December 2023
- The single-use restriction for register automata and transducers over infinite alphabets Rafał Stefański Mon 04 December 2023
- Contributions on Formal Methods for Timed and Probabilistic Systems Ocan Sankur Sat 02 December 2023
- Ensembles presque periodiques k-reconnaissables Gilles Christol Fri 01 December 2023
- Algebraic Dependence of Polynomials after O. Perron and Some Applications Arkadiusz Płoski Thu 30 November 2023
- Regular Transformations (Dagstuhl Seminar 23202) Rajeev Alur Mikołaj Bojańczyk Emmanuel Filiot Anca Muscholl Sarah Winter Thu 30 November 2023
- Extending the WMSO+U Logic With Quantification Over Tuples Anita Badyl Paweł Parys Thu 30 November 2023
- Concurrent Stochastic Lossy Channel Games Daniel Stan Muhammad Najib Anthony Widjaja Lin Parosh Aziz Abdulla Thu 30 November 2023
- Monadic stability and growth rates of ømega-categorical structures Samuel Braunfeld Wed 29 November 2023
- Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version) Julian Gutierrez Anthony W. Lin Muhammad Najib Thomas Steeples Michael Wooldridge Tue 28 November 2023
- An Upper Bound for the Number of Intersections Between a Trajectory of a Polynomial Vector Field and an Algebraic Hypersurface in the N-Space Dmitry Novikov Sergei Yakovenko Mon 27 November 2023
- Rolle models in the real and complex world Dmitry Novikov Sergei Yakovenko Mon 27 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
