- Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems V. S. Guba Mon 21 March 2022
- On maximal chains of systems of word equations Juhani Karhumaki Aleksi Saarela Mon 21 March 2022
- The Ehrenfeucht conjecture: a compactness claim for finitely generated free monoids Juhani Karhumaki Mon 21 March 2022
- The ehrenfeucht conjecture: An algebra-framework for its proof Ebbe Thue Poulsen Mon 21 March 2022
- A proof of Ehrenfeucht's Conjecture M.H. Albert J. Lawrence Mon 21 March 2022
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings Gustav Grabolle Tue 15 March 2022
- The Regular Languages of First-Order Logic with One Alternation Corentin Barloy Michael Cadilhac Charles Paperman Thomas Zeume Mon 14 March 2022
- Formulae and Asymptotics for Coefficients of Algebraic Functions CYRIL BANDERIER MICHAEL DRMOTA Mon 14 March 2022
- Finiteness Conditions for Soluble Groups P. Hall Sat 12 March 2022
- How to Compute a Puiseux Expansion Nicholas J. Willis Annie K. Didier Kevin M. Sonnanburg Sat 12 March 2022
- A New Type of Bases for Zero-dimensional Ideals Sheng-Ming Ma Sat 12 March 2022
- Grøbner theory of zero dimensional ideals with a view toward combinatorics BALINT FELSZEGHY Sat 12 March 2022
- Linear Algebra for Zero-Dimensional Ideals Anna Maria Bigatti Sat 12 March 2022
- A Modular Method to Compute the Rational Univariate Representation of Zero-Dimensional Ideals Masayuki Noro Kazuhiro Yokoyama Sat 12 March 2022
- On Radical Zero-Dimensional Ideals Hidetsune Kobayashi Shuichi Moritsugu Robert W. Hogan Sat 12 March 2022
- Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Wojciech Czerwiński Łukasz Orlikowski Sat 12 March 2022
- On equality of multiplicity sets of regular languages Keijo Ruohonen Fri 11 March 2022
- A Survey on Decidable Equivalence Problems for Tree Transducers Sebastian Maneth Fri 11 March 2022
- Resultant-based Elimination in Ore Algebra Raqeeb Rasheed Tue 08 March 2022
- Direct interpolation for modal mu-calculus Bahareh Afshari Graham E. Leigh Fri 04 March 2022
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
