- Containment Problem for Deterministic Multicounter Machine Models Oscar H. Ibarra Ian McQuillan Fri 17 May 2024
- Verifying Unboundedness via Amalgamation Ashwani Anand Sylvain Schmitz Lia Schutze Georg Zetzsche Fri 17 May 2024
- Definability and Decidability Problems in Number Theory Jochen Koenigsmann Hector V. Pasten Alexandra Shlapentokh Xavier Vidaux Fri 17 May 2024
- Decidability of the theory of addition and the Frobenius map in rings of rational functions Dimitra Chompitaki Manos Kamarianakis Thanases Pheidas Fri 17 May 2024
- On solvability of systems of polynomial equations Lászl Zádori Fri 17 May 2024
- SOLVABILITY OF SYSTEMS OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS LÁSZLÓ ZÁDORI Fri 17 May 2024
- Decision problems in Algebra and analogues of Hilberts tenth problem Thanases Pheidas Karim Zahidi Fri 17 May 2024
- Monoidal bicategories, differential linear logic, and analytic functors M. Fiore N. Gambino M. Hyland Thu 16 May 2024
- On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words Pavol Kebis Florian Luca Joel Ouaknine Andrew Scoones James Worrell Thu 16 May 2024
- Between proof construction and SAT-solving Aleksy Schubert Paweł Urzyczyn Konrad Zdanowski Thu 16 May 2024
- Algebraic Power Series Sergey Yurkevich Thu 16 May 2024
- On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates Valérie Berthé Toghrul Karimov Joris Nieuwveld Joel Ouaknine Mihir Vahanwala James Worrell Wed 15 May 2024
- Slice closures of indexed languages and word equations with counting constraints Laura Ciobanu Georg Zetzsche Wed 15 May 2024
- Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat Jan Tóth Ondřej Kużelka Wed 15 May 2024
- Finite-valued Streaming String Transducers Emmanuel Filiot Ismael Jecker Gabriele Puppis Christof Løding Anca Muscholl Sarah Winter Wed 15 May 2024
- On the undecidability of power series fields James Ax Wed 15 May 2024
- On the decidability of the existential theory of Fp[[t]] Jan Denef Hans Schoutens Wed 15 May 2024
- Rational points in Henselian discrete valuation rings Marvin J. Greenberg Tue 14 May 2024
- Elementary embeddings of fields of power series Abraham Robinson Tue 14 May 2024
- A decision method for p-adic integral zeros of diophantine equations A. Nerode Mon 13 May 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
