- A note on Christol's theorem Boris Adamczewski Reem Yassawi Mon 28 August 2023
- Diagonalization and Rationalization of algebraic Laurent series Boris Adamczewski Jason P. Bell Mon 28 August 2023
- Diagonalization and rationalization of algebraic Laurent series Boris Adamczewski Jason P. Bell Mon 28 August 2023
- Algebraic elements in formal power series rings II Takashi Harase Mon 28 August 2023
- Automatic sequences and curves over finite fields Andrew Bridy Mon 28 August 2023
- Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements Martin Grohe Moritz Lichter Daniel Neuen Pascal Schweitzer Mon 28 August 2023
- Automated Sensitivity Analysis for Probabilistic Loops Marcel Moosbrugger Julian Mullner Laura Kovács Mon 28 August 2023
- Algebraic power series and their automatic complexity I: finite fields Eric Rowland Manon Stipulanti Reem Yassawi Mon 28 August 2023
- Differential Dynamic Logic for Hybrid Systems André Platzer Sat 26 August 2023
- Scalable Differential Analysis of Process Algebra Models Mirco Tribastone Stephen Gilmore Jane Hillston Sat 26 August 2023
- On process rate semantics Luca Cardelli Sat 26 August 2023
- A Survey of Markovian Behavioral Equivalences Marco Bernardo Sat 26 August 2023
- A Heuristic Asymptotic Formula Concerning the Distribution of Prime Numbers Paul T. Bateman Roger A. Horn Sat 26 August 2023
- Overview of some general results in combinatorial enumeration Martin Klazar Sat 26 August 2023
- The Complexity of the Equivalence Problem for Simple Programs Eitan M. Gurari Oscar H. Ibarra Sat 26 August 2023
- On the decidability of equivalence for deterministic pushdown transducers Oscar H. Ibarra Louis E. Rosier Sat 26 August 2023
- Probabilistic algorithms and straight-line programs for some rank decision problems Oscar H. Ibarra Shlomo Moran Louis E. Rosier Sat 26 August 2023
- On the complexity of simple arithmetic expressions Oscar H. Ibarra Brian S. Leininger Shlomo Moran Sat 26 August 2023
- Straight-Line Programs with One Input Variable Oscar H. Ibarra Brian S. Leininger Sat 26 August 2023
- The Complexity of the Equivalence Problem for Simple Loop-Free Programs Oscar H. Ibarra Brian S. Leininger Sat 26 August 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
