- Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning Christof Løding Igor Walukiewicz Sun 01 February 2026
- The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic Jean Christoph Jung Jędrzej Kołodziejski Sun 01 February 2026
- Commutative algebras of series Lorenzo Clemente Sun 01 February 2026
- Variants of Higher-Dimensional Automata Hugo Bazille Jérémy Dubut Uli Fahrenberg Krzysztof Ziemiański Tue 27 January 2026
- Algebraic Characterizations of Classes of Regular Languages in DynFO Corentin Barloy Felix Tschirbs Nils Vortmeier Thomas Zeume Tue 27 January 2026
- Well-quasi-ordered classes of bounded clique-width Mael Dumas Aliaume Lopez Tue 27 January 2026
- On the Subspace Orbit Problem and the Simultaneous Skolem Problem Piotr Bacik Anton Varonka Tue 27 January 2026
- Termination Analysis of Linear-Constraint Programs Amir M. Ben-Amram Samir Genaim Joel Ouaknine James Worrell Tue 27 January 2026
- Algebraic Functions Over a Field of Positive Characteristic and Hadamard Products Habib Sharif Christopher F. Woodcock Mon 26 January 2026
- Diagonals of Rational Fractions Gilles Christol Mon 26 January 2026
- Suites algébriques, automates et substitutions Gilles Christol Teturo Kamae Michel Mendès France Gérard Rauzy Mon 26 January 2026
- Associative-commutative rewriting Nachum Dershowitz Jien Hsiang N. Alan Josephson David A. Plaisted Sun 25 January 2026
- Diagonals and algebraicity modulo p: a sharper degree bound Boris Adamczewski Alin Bostan Xavier Caruso Sun 25 January 2026
- Characterizations of monadically dependent tree-ordered weakly sparse structures Hector Buffière Yuquan Lin Jaroslav Nešetřil Patrice Ossona de Mendez Sebastian Siebertz Sat 24 January 2026
- Existential Positive Transductions of Sparse Graphs Nikolas Mahlmann Sebastian Siebertz Sat 24 January 2026
- Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach Thea Li Vladimir Zamdzhiev Sat 24 January 2026
- Problems with fixpoints of polynomials of polynomials Cécilia Pradic Ian Price Sat 24 January 2026
- Layered automata: A canonical model for automata over infinite words Antonio Casares Christof Løding Igor Walukiewicz Sat 24 January 2026
- Verified polynomial-time reductions in Lean 4: formalizing the complexity of decision-relevant information Tristan Simas Sat 24 January 2026
- Efficient reversal of transductions of sparse graph classes Jan Dreier Jakub Gajarský Michał Pilipczuk Sat 24 January 2026
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
