- A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata Kyveli Doveri Pierre Ganty B. Srivathsan Sat 24 January 2026
- Hard Clique Formulas for Resolution Albert Atserias Thu 22 January 2026
- From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata Mathieu Lehaut Anca Muscholl Nir Piterman Thu 22 January 2026
- Sequencelib: A Computational Platform for Formalizing the OEIS in Lean Walter Moreira Joe Stubbs Thu 22 January 2026
- Robust Verification of Concurrent Stochastic Games Angel Y. He David Parker Thu 22 January 2026
- Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Løwenheim-Skolem Theorem Dominik Kirst Haoyi Zeng Thu 22 January 2026
- An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory Gyeongwon Jeong Seonghun Park Hongseok Yang Thu 22 January 2026
- Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version) Darion Haase Kevin Batz Adrian Gallus Benjamin Lucien Kaminski Joost-Pieter Katoen Lutz Klinkenberg Tobias Winkler Thu 22 January 2026
- Complexity of Evaluating GQL Queries Diego Figueira Anthony Lin Liat Peterfreund Tue 20 January 2026
- The value of random zero-sum games Romain Cosson Laurent Massoulié Sun 18 January 2026
- Formalization of Amicable Numbers Theory Zhipeng Chen Haolun Tang Jingyi Zhan Sun 18 January 2026
- The Complexity of Games with Randomised Control Sarvin Bahmani Rasmus Ibsen-Jensen Soumyajit Paul Sven Schewe Friedrich Slivovsky Qiyi Tang Dominik Wojtczak Shufang Zhu Sun 18 January 2026
- Arithmetic Complexity of Solutions of the Dirichlet Problem Holger Boche Volker Pohl H. Vincent Poor Sun 18 January 2026
- Correspondences in computational and dynamical complexity II: forcing complex reductions Samuel Everett Sun 18 January 2026
- Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents Peter Kostolányi Andrej Ravinger Sun 18 January 2026
- MSO logic of the real order with the set quantifiers ranging over the Borel sets Mirna Dżamonja Fri 16 January 2026
- The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem Dominik Kirst Haoyi Zeng Thu 15 January 2026
- On Coalgebraic Product Constructions for Markov Chains and Automata Mayuko Kori Kazuki Watanabe Thu 15 January 2026
- On the theorem of Amitsur-Levitzki Claudio Procesi Thu 15 January 2026
- On the theorem of Amitsur--Levitzki Claudio Procesi Thu 15 January 2026
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
