- On Presburger arithmetic extended with non-unary counting quantifiers Peter Habermehl Dietrich Kuske Fri 20 January 2023
- Shades of Iteration: from Elgot to Kleene Sergey Goncharov Fri 20 January 2023
- Cooperative Concurrent Games Julian Gutierrez Szymon Kowara Sarit Kraus Thomas Steeples Michael Wooldridge Fri 20 January 2023
- How to Guess a Generating Function Seyoum Getu Louis W. Shapiro Wen-jin Woan Leon C. Woodson Tue 17 January 2023
- A SURVEY OF FACTORIZATION COUNTING FUNCTIONS A. KNOPFMACHER M. E. MAYS Tue 17 January 2023
- The Hypercube of Resistors, Asymptotic Expansions, and Preferential Arrangements Nicholas Pippenger Tue 17 January 2023
- Decidability of DPDA Language Equivalence via First-Order Grammars Petr Jancar Tue 17 January 2023
- Context-Bounded Verification of Context-Free Specifications Pascal Baumann Moses Ganardi Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Tue 17 January 2023
- The Unsolvability of the Equivalence Problem for Łambda-Free Nondeterministic Generalized Machines T. V. Griffiths Tue 17 January 2023
- Some decision problems concerning sequential transducers and checking automata Eitan M. Gurari Oscar H. Ibarra Tue 17 January 2023
- Folding interpretations Mikołaj Bojańczyk Tue 17 January 2023
- Holonomic equations and efficient random generation of binary trees Pierre Lescanne Thu 12 January 2023
- Modular Mix-and-Match Complementation of Buchi Automata (Technical Report) Vojtěch Havlena Ondřej Lengál Yong Li Barbora Šmahlíková Andrea Turrini Wed 11 January 2023
- A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games K. S. Thejaswini Pierre Ohlmann Marcin Jurdziński Wed 11 January 2023
- A Perfect Model for Bounded Verification Javier Esparza Pierre Ganty Rupak Majumdar Wed 11 January 2023
- FINDING THE GROWTH RATE OF A REGULAR OR CONTEXT-FREE LANGUAGE IN POLYNOMIAL TIME Paweł Gawrychowski Dalia Krieger Narad Rampersad Jeffrey Shallit Wed 11 January 2023
- Finding the Growth Rate of a Regular of Context-Free Language in Polynomial Time Paweł Gawrychowski Dalia Krieger Narad Rampersad Jeffrey Shallit Wed 11 January 2023
- Coding by minimal linear grammars Arturo Carpi Flavio D'Alessandro Sun 08 January 2023
- On bounded linear codes and the commutative equivalence Arturo Carpi Flavio D'Alessandro Sun 08 January 2023
- On finite-index indexed grammars and their restrictions Flavio D'Alessandro Oscar H. Ibarra Ian McQuillan Sun 08 January 2023
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
