- The ring of k-regular sequences Jean-Paul Allouche Jeffrey Shallit Sun 19 November 2023
- An Automata Theoretic Characterization of Weighted First-Order Logic Dhruv Nevatia Benjamin Monmege Sun 19 November 2023
- Polynomial Time and Dependent Types Robert Atkey Thu 16 November 2023
- NP-hard problems are not in BQP Reiner Czerwinski Thu 16 November 2023
- Nonnegativity Problems for Matrix Semigroups Julian D'Costa Joel Ouaknine James Worrell Thu 16 November 2023
- Syntactically and semantically regular languages of lambda-terms coincide through logical relations Vincent Moreau Lê Thành Dũng Nguyên Thu 16 November 2023
- Computation with hyperexponential functions Ziming Li Dabin Zheng Mon 13 November 2023
- Simulation vs. Equivalence Zoltan Esik Andreas Maletti Mon 13 November 2023
- Some sequences of integers Peter J. Cameron Mon 13 November 2023
- Continuous models of computation: from computability to complexity Amaury Pouly Mon 13 November 2023
- Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems Mihir Vahanwala Sun 12 November 2023
- Decidability results in automata and process theory Yoram Hirshfeld Faron Moller Fri 10 November 2023
- Undecidability of performance equivalence of Petri nets Sławomir Lasota Marcin Poturalski Fri 10 November 2023
- Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes Wojciech Czerwiński Piotr Hofman Sławomir Lasota Fri 10 November 2023
- Shuffled languages-Representation and recognition Martin Berglund Henrik Björklund Johanna Björklund Fri 10 November 2023
- The Monadic Theory of Toric Words Valérie Berthé Toghrul Karimov Joel Ouaknine Mihir Vahanwala James Worrell Fri 10 November 2023
- Two new algorithms for solving Müller games and their applications Zihui Liang Bakh Khoussainov Mingyu Xiao Fri 10 November 2023
- Undecidable equivalences for basic parallel processes Hans Hüttel Naoki Kobayashi Takashi Suto Fri 10 November 2023
- Undecidable equivalences for basic parallel processes Hans Hüttel Fri 10 November 2023
- Decidability of performance equivalence for basic parallel processes Sławomir Lasota Fri 10 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
