- The Iteration Number of Colour Refinement Sandra Kiefer Brendan D. McKay Thu 21 May 2020
- Mavic Air 2 manuals DJI Thu 21 May 2020
- Near-Optimal Complexity Bounds for Fragments of the Skolem Problem S. Akshay Nikhil Balaji Aniket Murhekar Rohith Varma Nikhil Vyas Wed 20 May 2020
- Limited Set quantifiers over Countable Linear Orderings Thomas Colcombet A. V. Sreejith Wed 20 May 2020
- Non-Commutative Grøbner Bases in Algebras of Solvable Type A. Kandri-Rody V. Weispfenning Wed 20 May 2020
- An algebraic approach to MSO-definability on countable linear orderings Olivier Carton Thomas Colcombet Gabriele Puppis Wed 20 May 2020
- On the elementary theory of linear order H. Lauchli J. Leonard Wed 20 May 2020
- H. Lauchli and J. Leonard. On the elementary theory of linear order. Fundamenta mathematicae, vol. 59 (1966), pp. 109--116. Julia Robinson Wed 20 May 2020
- On the Power of Unambiguity in Buchi Complementation Yong Li Moshe Y. Vardi Lijun Zhang Wed 20 May 2020
- On the Separability Problem of String Constraints Parosh Aziz Abdulla Mohamed Faouzi Atig Vruda Dave Shankara Narayanan Krishna Wed 20 May 2020
- Monads and ``do'' notation in the Wolfram Language Kacper Topolnicki Wed 20 May 2020
- Gems of Corrado Böhm Henk P. Barendregt Wed 20 May 2020
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time M. Kwiatkowska G. Norman D. Parker G. Santos Tue 19 May 2020
- The Extended Theory of Trees and Algebraic (Co)datatypes Fabian Zaiser C. -H. Luke Ong Tue 19 May 2020
- Reachability of scope-bounded multistack pushdown systems Salvatore [La Torre] Margherita Napoli Gennaro Parlato Tue 19 May 2020
- Qualitative Controller Synthesis for Consumption Markov Decision Processes František Blahoudek Tomáš Brázdil Petr Novotný Melkior Ornik Pranay Thangeda Ufuk Topcu Tue 19 May 2020
- Partial Quantifier Elimination By Certificate Clauses Eugene Goldberg Tue 19 May 2020
- Monads and Quantitative Equational Theories for Nondeterminism and Probability Matteo Mio Valeria Vignudelli Tue 19 May 2020
- How to generate random lambda terms Maciej Bendkowski Tue 19 May 2020
- Bouncing threads for infinitary and circular proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin Tue 19 May 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
