- Quine's Fluted Fragment is Non-Elementary Ian Pratt-Hartmann Wieslaw Szwast Lidia Tendera Thu 18 March 2021
- Quine's Fluted Fragment Revisited I. Pratt-Hartmann W. Szwast L. Tendera Thu 18 March 2021
- THE FLUTED FRAGMENT REVISITED IAN PRATT-HARTMANN WIESŁAW SZWAST LIDIA TENDERA Thu 18 March 2021
- Decidability of Fluted Logic with Identity William C. Purdy Thu 18 March 2021
- Two-Variable First-Order Logic with Equivalence Closure E. Kieronski J. Michaliszyn I. Pratt-Hartmann L. Tendera Thu 18 March 2021
- On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations Emanuel Kieronski Lidia Tendera Thu 18 March 2021
- A Proof Theory for Model Checking Quentin Heath Dale Miller Thu 18 March 2021
- A Skolem--Mahler--Lech theorem in positive characteristic and finite automata Harm Derksen Thu 18 March 2021
- A survey of computational complexity results in systems and control Vincent D. Blondel John N. Tsitsiklis Thu 18 March 2021
- Intersecting Curves and Algebraic Subgroups: Conjectures and More Results E. Bombieri D. Masser U. Zannier Thu 18 March 2021
- Intersecting a curve with algebraic subgroups of multiplicative groups E. Bombieri D. Masser U. Zannier Thu 18 March 2021
- On the decidability of model checking for several mu-calculi and Petri nets Javier Esparza Thu 18 March 2021
- Theory of átomata Janusz Brzozowski Hellis Tamm Thu 18 March 2021
- Residual Finite State Automata François Denis Aurélien Lemay Alain Terlutte Thu 18 March 2021
- Unique end of potential line John Fearnley Spencer Gordon Ruta Mehta Rahul Savani Wed 17 March 2021
- Coordination Games on Weighted Directed Graphs Krzysztof R. Apt Sunil Simon Dominik Wojtczak Wed 17 March 2021
- Efficiently Testing Simon's Congruence Pawel Gawrychowski Maria Kosche Tore Koss Florin Manea Stefan Siemer Wed 17 March 2021
- The Complexity of Gradient Descent: CLS = PPAD ąp PLS John Fearnley Paul W. Goldberg Alexandros Hollender Rahul Savani Wed 17 March 2021
- Temporal Stream Logic: Synthesis beyond the Bools Bernd Finkbeiner Felix Klein Ruzica Piskac Mark Santolucito Wed 17 March 2021
- Decidable Synthesis of Programs with Uninterpreted Functions Paul Krogmeier Umang Mathur Adithya Murali P. Madhusudan Mahesh Viswanathan Wed 17 March 2021
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
