- A Survey on Satisfiability Checking for the mu-Calculus through Tree Automata Daniel Hausmann Nir Piterman Sat 16 July 2022
- Simulations for Event-Clock Automata S Akshay Paul Gastin R Govind B Srivathsan Sat 16 July 2022
- On the Complexity of Rational Verification Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Sat 16 July 2022
- Order-Invariance in the Two-Variable Fragment of First-Order Logic Julien Grange Sat 16 July 2022
- Logical Definability of Counting Functions Kevin J. Compton Erich Gradel Sat 16 July 2022
- On the Space and Circuit Complexity of Parameterized Problems: Classes and Completeness Michael Elberfeld Christoph Stockhusen Till Tantau Sat 16 July 2022
- Parameterised Counting in Logspace Anselm Haak Arne Meier Om Prakash Raghavendra Rao B. V. Sat 16 July 2022
- On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices Klara Nosan Amaury Pouly Sylvain Schmitz Mahsa Shirmohammadi James Worrell Sat 16 July 2022
- Computing the Galois group of a linear differential equation Ehud Hrushovski Sat 16 July 2022
- Counting classes and the fine structure between NC1 and L Samir Datta Meena Mahajan B.V. Raghavendra Rao Michael Thomas Heribert Vollmer Fri 15 July 2022
- Gap-definable counting classes Stephen A. Fenner Lance J. Fortnow Stuart A. Kurtz Wed 13 July 2022
- Mathematical Proof Between Generations Jonas Bayer Christoph Benzmuller Kevin Buzzard Marco David Leslie Lamport Yuri Matiyasevich Lawrence Paulson Dierk Schleicher Benedikt Stock Efim Zelmanov Wed 13 July 2022
- On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices Klara Nosan Amaury Pouly Sylvain Schmitz Mahsa Shirmohammadi James Worrell Wed 13 July 2022
- On the Number of Quantifiers as a Complexity Measure Ronald Fagin Jonathan Lenchner Nikhil Vyas Ryan Williams Wed 13 July 2022
- Regular Monoidal Languages Matthew Earnshaw Paweł Sobociński Wed 13 July 2022
- Branch-Well-Structured Transition Systems and Extensions Benedikt Bollig Alain Finkel Amrita Suresh Fri 01 July 2022
- Reach on Register Automata via History Independence Simon Dierl Falk Howar Fri 01 July 2022
- A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits Anselm Haak Heribert Vollmer Fri 01 July 2022
- On uniformity within NC1 David A. Mix Barrington Neil Immerman Howard Straubing Fri 01 July 2022
- On two-variable guarded fragment logic with expressive local Presburger constraints Chia-Hsuan Lu Tony Tan Fri 01 July 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
