- Existential decidability in power series rings over finite fields Tysger Boelens Thu 23 May 2024
- An undecidability result for power series rings of positive characteristic. II Thanases Pheidas Thu 23 May 2024
- Undecidable Rings Raphael M. Robinson Thu 23 May 2024
- Artin approximation Herwig Hauser Guillaume Rond Thu 23 May 2024
- The classical Artin approximation theorems Herwig Hauser Thu 23 May 2024
- Artin Approximation Guillaume Rond Thu 23 May 2024
- Bornes effectives des fonctions d'approximation des solutions formelles d'équations binomiales Guillaume Rond Thu 23 May 2024
- Bornes effectives des fonctions d'approximation des solutions formelles d'équations binomiales Guillaume Rond Thu 23 May 2024
- Artin approximation Dorin Popescu Thu 23 May 2024
- Lectures on the Model Theory of Valued Fields Lou van den Dries Thu 23 May 2024
- The Relational Machine Calculus Chris Barrett Daniel Castle Willem Heijltjes Wed 22 May 2024
- Labelled Well Quasi Ordered Classes of Bounded Linear Clique Width Aliaume Lopez Wed 22 May 2024
- Concurrent Games over Relational Structures: The Origin of Game Comonads Yoàv Montacute Glynn Winskel Wed 22 May 2024
- Decidability and Complexity of Decision Problems for Affine Continuous VASS A.~R. Balasubramanian Wed 22 May 2024
- Equivalence and Conditional Independence in Atomic Sheaf Logic Alex Simpson Wed 22 May 2024
- Jumping Automata Must Pay Shaull Almagor Ishai Salgado Wed 22 May 2024
- Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages Bharat Adsul Paul Gastin Shantanu Kulkarni Pascal Weil Wed 22 May 2024
- An Automata Theoretic Characterization of Weighted First-Order Logic Dhruv Nevatia Benjamin Monmege Tue 21 May 2024
- Weighted Automata and Expressions over Pre-Rational Monoids Nicolas Baudru Louis-Marie Dando Nathan Lhote Benjamin Monmege Pierre-Alain Reynier Jean-Marc Talbot Tue 21 May 2024
- Bounded-Memory Strategies in Partial-Information Games Sougata Bose Rasmus Ibsen-Jensen Patrick Totzke Fri 17 May 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
