- Basic concepts of differential algebra Wuerfl A. Fri 04 March 2022
- Stochastic Games with Synchronizing Objectives Laurent Doyen Mon 28 February 2022
- One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege Thu 24 February 2022
- The Calculus of Relations as a Foundation for Mathematics Steven Givant Tue 22 February 2022
- PP Is Closed under Intersection R. Beigel N. Reingold D. Spielman Tue 22 February 2022
- Monomials in arithmetic circuits: Complete problems in the counting hierarchy Hervé Fournier Guillaume Malod Stefan Mengel Tue 22 February 2022
- On the Skolem Problem and the Skolem Conjecture Richard J. Lipton Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell Tue 22 February 2022
- On the positivity set of a linear recurrence sequence Jason P. Bell Stefan Gerhold Tue 22 February 2022
- On Closure Properties of P in the Context of PF P Mitsunori Ogihara Thomas Thierauf Seinosuke Toda Osamu Watanabe Mon 21 February 2022
- The Satanic Notations: Counting Classes beyond P and Other Definitional Adventures Lane A. Hemaspaandra Heribert Vollmer Mon 21 February 2022
- On closure properties of Hash P in the context of PF (omicron) Hash P M. Ogiwara T. Thierauf S. Toda O. Watanabe Mon 21 February 2022
- A Simple Proof of Toda's Theorem Lance Fortnow Mon 21 February 2022
- The Equational Theory of the Composition and Complement Calculus of Relations Is Decidable Yoshiki Nakamura Mon 21 February 2022
- Towards Generalised Half-Duplex Systems Cinzia Di Giusto Loic Germerie Guizouarn Etienne Lozes Mon 21 February 2022
- On the set of zero coefficients of a function satisfying a linear differential equation JASON P. BELL STANLEY N. BURRIS KAREN YEATS Thu 17 February 2022
- Identity testing for radical expressions Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell Thu 17 February 2022
- Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable Wojciech Czerwiński Piotr Hofman Thu 17 February 2022
- Improved Upper Bounds for Finding Tarski Fixed Points Xi Chen Yuhao Li Thu 17 February 2022
- The Membership Problem for Hypergeometric Sequences with Rational Parameters Klara Nosan Amaury Pouly Mahsa Shirmohammadi James Worrell Thu 17 February 2022
- Decidability of Equational Theories for Subsignatures of Relation Algebra Robin Hirsch Thu 17 February 2022
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
