- Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report) Daniel Stan Anthony Widjaja Lin Wed 10 March 2021
- Learning of Structurally Unambiguous Probabilistic Grammars Dolav Nitay Dana Fisman Michal Ziv-Ukelson Wed 10 March 2021
- Presburger arithmetic with threshold counting quantifiers is easy Dmitry Chistikov Christoph Haase Alessio Mansutti Wed 10 March 2021
- Synthesis from Weighted Specifications with Partial Domains over Finite Words Emmanuel Filiot Christof Løding Sarah Winter Wed 10 March 2021
- Weight-Reducing Turing Machines Bruno Guillon Giovanni Pighizzini Luca Prigioniero Daniel Průša Wed 10 March 2021
- Converting Nondeterministic Two-Way Automata into Small Deterministic Linear-Time Machines Bruno Guillon Giovanni Pighizzini Luca Prigioniero Daniel Průša Wed 10 March 2021
- Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata Corentin Barloy Lorenzo Clemente Wed 10 March 2021
- Reducing Nondeterministic Finite Automata with SAT Solvers Jaco Geldenhuys Brink van der Merwe Lynette van Zijl Tue 09 March 2021
- Formal Reductions of the General Combinatorial Decision Problem Emil L. Post Mon 08 March 2021
- Finite combinatory processes---formulation Emil L. Post Mon 08 March 2021
- Introduction to a General Theory of Elementary Propositions Emil L. Post Mon 08 March 2021
- Fast Factoring Integers by SVP Algorithms Claus Peter Schnorr Sat 06 March 2021
- Polynomial-Time Algorithm for the Orbit Problem R. Kannan R. J. Lipton Wed 03 March 2021
- The Orbit Problem is Decidable Ravindran Kannan Richard J. Lipton Wed 03 March 2021
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems I Kurt Gødel Mon 01 March 2021
- Combinators and the Story of Computation Stephen Wolfram Mon 22 February 2021
- Decision problems for second-order holonomic recurrences Eike Neumann Joel Ouaknine James Worrell Mon 22 February 2021
- The Pseudo-Skolem Problem is decidable Julian D'Costa Toghrul Karimov Rupak Majumdar Joel Ouaknine Mahmoud Salamati Sadegh Soudjani James Worrell Mon 22 February 2021
- Porous invariants Engel Lefaucheux Joel Ouaknine David Purser James Worrell Mon 22 February 2021
- On inequality decision problems for low-order holonomic sequences George Kenison Oleksiy Klurman Engel Lefaucheux Florian Luca Pieter Moree Joel Ouaknine Markus A. Whiteland James Worrell Mon 22 February 2021
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
