- An Application of Logic to Analysis Joseph Becker Leonard Lipshitz Fri 10 May 2024
- Remarks on the elementary theories of formal and convergent power series Joseph Becker Leonard Lipshitz Fri 10 May 2024
- Further remarks on the elementary theory of formal power series rings J. Becker Jan Denef Leonard Lipshitz Fri 10 May 2024
- Diophantine Problems Over Local Fields: III. Decidable Fields James Ax Simon Kochen Fri 10 May 2024
- Diophantine Problems Over Local Fields II. A Complete Set of Axioms for p-Adic Number Theory James Ax Simon Kochen Fri 10 May 2024
- Diophantine Problems Over Local Fields I James Ax Simon Kochen Fri 10 May 2024
- The Existential Theory of the Reals with Summation Operators Markus Blaser Julian Dørfler Maciej Liskiewicz Benito van der Zander Thu 09 May 2024
- Mahler equations for Zeckendorf numeration Olivier Carton Reem Yassawi Thu 09 May 2024
- Ultraproducts and approximation in local rings. II Jand Denef Leonard Lipshitz Thu 09 May 2024
- Ultraproducts and approximation in local rings I Joseph Becker Jand Denef Leonard Lipshitz Lou van den Dries Thu 09 May 2024
- Linear dynamical systems with continuous weight functions Rajab Aghamov Christel Baier Toghrul Karimov Joel Ouaknine Jakob Piribauer Wed 08 May 2024
- An efficient quantifier elimination procedure for Presburger arithmetic Christoph Haase Shankara Narayanan Krishna Khushraj Madnani Om Swostik Mishra Georg Zetzsche Wed 08 May 2024
- Maximizing Network Phylogenetic Diversity Leo van Iersel Mark Jones Jannik Schestag Celine Scornavacca Mathias Weller Wed 08 May 2024
- Logical Characterizations of Weighted Complexity Classes Guillermo Badia Manfred Droste Carles Noguera Erik Paul Wed 08 May 2024
- Inner and outer approximate quantifier elimination for general reachability problems Eric Goubault Sylvie Putot Wed 08 May 2024
- On classes of bounded tree rank, their interpretations, and efficient sparsification Jakub Gajarský Rose McCarty Tue 07 May 2024
- From the Lyndon factorization to the Canonical Inverse Lyndon factorization: back and forth Paola Bonizzoni Clelia De Felice Rocco Zaccagnino Rosalba Zizza Tue 07 May 2024
- Decidability of Graph Neural Networks via Logical Characterizations Michael Benedikt Chia-Hsuan Lu Boris Motik Tony Tan Tue 07 May 2024
- Controller Synthesis in Timed Buchi Automata: Robustness and Punctual Guards Benoît Barbot Damien Busatto-Gaston Catalin Dima Youssouf Oualhadj Tue 07 May 2024
- Strategy Complexity of Buchi Objectives in Concurrent Stochastic Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 30 April 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
