- Half-positional ømega-regular languages Antonio Casares Pierre Ohlmann Thu 01 February 2024
- A Resolution-Based Interactive Proof System for UNSAT Philipp Czerner Javier Esparza Valentin Krasotin Thu 01 February 2024
- Deterministic Parikh automata on infinite words Mario Grobler Sebastian Siebertz Thu 01 February 2024
- Membership problems in nilpotent groups Corentin Bodart Thu 01 February 2024
- Elementary first-order model checking for sparse graphs Jakub Gajarský Michał Pilipczuk Marek Sokołowski Giannos Stamoulis Szymon Toruńczyk Thu 01 February 2024
- NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes Marcelo Arenas Luis Alberto Croquevielle Rajesh Jayaram Cristian Riveros Thu 01 February 2024
- Differentielles non commutatives et theorie de Galois differentielle ou aux differences Yves André Wed 31 January 2024
- Resilience and Home-Space for WSTS Alain Finkel Mathieu Hilaire Tue 30 January 2024
- Strongly k-recursive sequences Daniel Krenn Jeffrey Shallit Tue 30 January 2024
- Rank-decreasing transductions Mikołaj Bojańczyk Pierre Ohlmann Tue 30 January 2024
- A proof theory of right-linear (omega-)grammars via cyclic proofs Anupam Das Abhishek De Tue 30 January 2024
- Memoryless Strategies in Stochastic Reachability Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 30 January 2024
- Combinatorics on words and generating Dirichlet series of automatic sequences Jean-Paul Allouche Jeffrey Shallit Manon Stipulanti Tue 30 January 2024
- On Dependent Variables in Reactive Synthesis S. Akshay Eliyahu Basa Supratik Chakraborty Dror Fried Tue 30 January 2024
- What Juris Hartmanis taught me about Reductions Neil Immerman Tue 30 January 2024
- A linear-algebraic method to compute polynomial PDE conservation laws Michele Boreale Luisa Collodi Sat 27 January 2024
- Linearization, Model Reduction and Reachability in Nonlinear ODEs Michele Boreale Luisa Collodi Sat 27 January 2024
- Twisted rational zeros of linear recurrence sequences Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine James Worrell Sat 27 January 2024
- A theorem on trees Arthur Cayley Sat 27 January 2024
- Formal and convergent solutions of analytic equations Arkadiusz Ploski Thu 25 January 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
