- Sequence operators from groups Peter J. Cameron Fri 18 August 2023
- The random graph Peter J. Cameron Fri 18 August 2023
- Some treelike objects Peter J. Cameron Thu 17 August 2023
- Recognizability of the support of recognizable series over the semiring of the integers is undecidable D. Kirsten K. Quaas Tue 15 August 2023
- Rational languages and the Burnside problem Antonio Restivo Christophe Reutenauer Tue 15 August 2023
- Perfect bases for differential equations Sebastian Gann Herwig Hauser Mon 14 August 2023
- Linear recurrences with constant coefficients: the multivariate case Mireille Bousquet-Mélou Marko Petkovšek Mon 14 August 2023
- The Bisimulation Problem for Equational Graphs of Finite Out-Degree Géraud Sénizergues Thu 10 August 2023
- Equivalence of pushdown automata via first-order grammars Petr Jančar Thu 10 August 2023
- Computing the linear hull: Deciding Deterministic and Unambiguous for weighted automata over fields J. P. Bell D. Smertnig Thu 10 August 2023
- Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Thu 10 August 2023
- The existential theory of equations with rational constraints in free groups is PSPACE-complete Volker Diekert Claudio Gutierrez Christian Hagenah Wed 09 August 2023
- Algorithmic Verification of Continuous and Hybrid Systems Oded Maler Wed 09 August 2023
- On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices S. Akshay Supratik Chakraborty Debtanu Pal Wed 09 August 2023
- SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE VOLKER DIEKERT ANCA MUSCHOLL Wed 09 August 2023
- Solutions of Word Equations Over Partially Commutative Structures Volker Diekert Artur Jez Manfred Kufleitner Wed 09 August 2023
- Application of Lempel--Ziv factorization to the approximation of grammar-based compression Wojciech Rytter Wed 09 August 2023
- The smallest grammar problem M. Charikar E. Lehman Ding Liu R. Panigrahy M. Prabhakaran A. Sahai A. Shelat Wed 09 August 2023
- Fine-Grained Complexity of Analyzing Compressed Data: Quantifying Improvements over Decompress-and-Solve Amir Abboud Arturs Backurs Karl Bringmann Marvin Kunnemann Wed 09 August 2023
- Which Problems Have Strongly Exponential Complexity Russell Impagliazzo Ramamohan Paturi Francis Zane Wed 09 August 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A