- Characterizing Valiant's algebraic complexity classes Guillaume Malod Natacha Portier Mon 27 November 2023
- Algebraic Complexity Classes Meena Mahajan Mon 27 November 2023
- Algebraic Dependencies and PSPACE Algorithms in Approximative Complexity over Any Field Zeyu Guo Nitin Saxena Amit Sinhababu Mon 27 November 2023
- Independence in Algebraic Complexity Theory Johannes Mittmann Mon 27 November 2023
- Towards Regular Languages over Infinite Alphabets Frank Neven Thomas Schwentick Victor Vianu Sat 25 November 2023
- Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains Olivier Bournez Daniel S. Graça Amaury Pouly Sat 25 November 2023
- Inverse problems for multiple invariant curves Colin Christopher Jaume Llibre Chara Pantazi Sebastian Walcher Sat 25 November 2023
- Paraconsistent logic Stanford Encyclopedia of Philosophy Sat 25 November 2023
- Real nullstellensatz Maria Michalska Sat 25 November 2023
- Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms S.A. Abramov M. Petkovšek Sat 25 November 2023
- Lecture Notes on Partially Known MDPs Guillermo A. Perez Sat 25 November 2023
- The Church Synthesis Problem with Parameters Alexander Rabinovich Sat 25 November 2023
- Place Bisimilarity is Decidable, Indeed Roberto Gorrieri Sat 25 November 2023
- The HOM Problem is EXPTIME-Complete Carles Creus Adria Gascon Guillem Godoy Lander Ramos Sat 25 November 2023
- PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen Vojtěch Forejt Marta Kwiatkowska David Parker Aistis Simaitis Sat 25 November 2023
- Model Checking Linear Dynamical Systems under Floating-point Rounding Engel Lefaucheux Joel Ouaknine David Purser Mohammadamin Sharifi Sat 25 November 2023
- Decidability of the multiplicity equivalence of multitape finite automata Tero Harju Juhani Karhumäki Sat 25 November 2023
- Hensel's lemma Keith Conrad Sat 25 November 2023
- On the complexity of solving initial value problems Olivier Bournez Daniel S. Graça Amaury Pouly Sat 25 November 2023
- Algebraic Model Checking for Discrete Linear Dynamical Systems Florian Luca Joël Ouaknine James Worrell Sat 25 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
