- Synchronizable functions on integers Didier Caucal Chloé Rispal Tue 31 May 2022
- Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche Thu 26 May 2022
- Register Set Automata (Technical Report) Sabína Gulčíková Ondřej Lengál Thu 26 May 2022
- A Generic Solution to Register-bounded Synthesis with an Application to Discrete Orders Léo Exibard Emmanuel Filiot Ayrat Khalimov Thu 26 May 2022
- Further Collapses in TFNP Mika Gøøs Alexandros Hollender Siddhartha Jain Gilbert Maystre William Pires Robert Robere Ran Tao Thu 26 May 2022
- On eventual non-negativity and positivity for the weighted sum of powers of matrices S Akshay Supratik Chakraborty Debtanu Pal Thu 26 May 2022
- Nondeterministic Streaming String Transducers Rajeev Alur Jyotirmoy V. Deshmukh Thu 26 May 2022
- Expressiveness of streaming string transducers Rajeev Alur Pavol Černý Thu 26 May 2022
- Equivalence Checking Problem for Finite State Transducers over Semigroups Vladimir A. Zakharov Thu 26 May 2022
- Compactness of Systems of Equations in Semigroups Tero Harju J. Karhumaki Wojciech Plandowski Thu 26 May 2022
- Differential transcendence of Bell numbers and relatives: a Galois theoretic approach Alin Bostan Lucia Di Vizio Kilian Raschel Tue 24 May 2022
- A coalgebraic perspective on linear weighted automata Filippo Bonchi Marcello Bonsangue Michele Boreale Jan Rutten Alexandra Silva Fri 20 May 2022
- Solving linear equations over polynomial semirings P. Narendran Fri 20 May 2022
- Simulations of Weighted Tree Automata Zoltán Ésik Andreas Maletti Fri 20 May 2022
- Automata Learning: An Algebraic Approach Henning Urbat Lutz Schrøder Fri 20 May 2022
- Learning Functions Represented as Multiplicity Automata Amos Beimel Francesco Bergadano Nader H. Bshouty Eyal Kushilevitz Stefano Varricchio Fri 20 May 2022
- Learning behaviors of automata from multiplicity and equivalence queries F. Bergadano S. Varricchio Fri 20 May 2022
- Learning Weighted Automata over Principal Ideal Domains Gerco van Heerdt Clemens Kupke Jurriaan Rot Alexandra Silva Fri 20 May 2022
- Recognizable formal power series on trees Jean Berstel Christophe Reutenauer Wed 18 May 2022
- The metamathematics of the graph minor theorem Herbert Friedman G. Neil Robertson Paul D. Seymour Sat 14 May 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
