- The Parikh counting functions of sparse context-free languages are quasi-polynomials Flavio D'Alessandro Benedetto Intrigila Stefano Varricchio Sun 08 January 2023
- Quasi-polynomials, linear Diophantine equations and semi-linear sets Flavio D'Alessandro Benedetto Intrigila Stefano Varricchio Sun 08 January 2023
- On the commutative equivalence of semi-linear sets of Nk Flavio D'Alessandro Benedetto Intrigila Sun 08 January 2023
- On the commutative equivalence of bounded context-free and regular languages: The code case Flavio D'Alessandro Benedetto Intrigila Sun 08 January 2023
- On the Commutative Equivalence of Context-Free Languages Arturo Carpi Flavio D'Alessandro Sun 08 January 2023
- Deciding Multiplicity Equivalence for Certain Context-free Languages Danny Raz Sun 08 January 2023
- On the commutative equivalence of bounded context-free and regular languages: The semi-linear case Flavio D'Alessandro Benedetto Intrigila Sun 08 January 2023
- Automata and one-dimensional TQFTs with defects Paul Gustafson Mee Seong Im Remy Kaldawy Mikhail Khovanov Zachary Lihn Sat 07 January 2023
- Counterexamples to a Conjecture of Dombi in Additive Number Theory Jason P. Bell Jeffrey Shallit Sat 07 January 2023
- An Automated Approach to the Collatz Conjecture Emre Yolcu Scott Aaronson Marijn J. H. Heule Sat 07 January 2023
- The Complexity of Verifying Loop-Free Programs as Differentially Private Marco Gaboardi Kobbi Nissim David Purser Sat 07 January 2023
- On bounded languages and reversal-bounded automata Oscar H. Ibarra Bala Ravikumar Sat 07 January 2023
- On Parikh Slender Languages and Power Series Juha Honkala Sat 07 January 2023
- New Analytic Techniques for Proving the Inherent Ambiguity of Context-Free Languages Florent Koechlin Fri 06 January 2023
- A Simple Rewrite System for the Normalization of Linear Temporal Logic Javier Esparza Rubén Rubio Salomon Sickert Mon 02 January 2023
- On the Foundations of Cycles in Bayesian Networks Christel Baier Clemens Dubslaff Holger Hermanns Nikolai Kafer Mon 02 January 2023
- Symbolic Analysis of Linear Hybrid Automata -- 25 Years Later Goran Frehse Mirco Giacobbe Enea Zaffanella Mon 02 January 2023
- On the growth rate of polyregular functions Mikołaj Bojańczyk Thu 29 December 2022
- Sum and Tensor of Quantitative Effects Giorgio Bacci Radu Mardare Prakash Panangaden Gordon Plotkin Thu 29 December 2022
- Completeness and the Finite Model Property for Kleene Algebra, Reconsidered Tobias Kappé Thu 29 December 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
