- Solving Pushdown Games with a Sigma3 Winning Condition Thierry Cachat Jacques Duparc Wolfgang Thomas Wed 19 August 2020
- Regular Cost Functions, Part I: Logic and Algebra over Words Thomas Colcombet Wed 19 August 2020
- Finite Model Reasoning in Expressive Fragments of First-Order Logic Lidia Tendera Tue 18 August 2020
- MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability Shiguang Feng Claudia Carapelle Oliver Fernández Gil Karin Quaas Tue 18 August 2020
- Conferences in an Era of Expensive Carbon Benjamin C. Pierce Michael Hicks Crista Lopes Jens Palsberg Tue 18 August 2020
- The Argument against Quantum Computers, the Quantum Laws of Nature, and Google's Supremacy Claims Gil Kalai Thu 13 August 2020
- Adding Successor: A Transfer Theorem for Separation and Covering Thomas Place Marc Zeitoun Wed 12 August 2020
- Weak index versus Borel rank Filip Murlak Wed 12 August 2020
- Recursion Schemes and Logical Reflection C.H. Broadbent A. Carayol C.-H.L. Ong O. Serre Wed 12 August 2020
- Alternating automata on infinite trees David E. Muller Paul E. Schupp Wed 12 August 2020
- Simplification Problems for Deterministic Pushdown Automata on Infinite Words Christof Løding Wed 12 August 2020
- Determinization of Buchi Automata: Unifying the Approaches of Safra and Muller-Schupp Christof Løding Anton Pirogov Wed 12 August 2020
- Ambiguity, Weakness, and Regularity in Probabilistic Buchi Automata Christof Løding Anton Pirogov Wed 12 August 2020
- Deciding Nondeterministic Hierarchy of Deterministic Tree Automata Damian Niwiński Igor Walukiewicz Tue 11 August 2020
- The Wadge Hierarchy of Deterministic Tree Languages Filip Murlak Tue 11 August 2020
- Relating hierarchies of word and tree automata Damian Niwiński Igor Walukiewicz Tue 11 August 2020
- Computing the Rabin Index of a Regular Language of Infinite Words Thomas Wilke Haiseung Yoo Tue 11 August 2020
- Fixpoint alternation: arithmetic, transition systems, and the binary tree J. C. Bradfield Tue 11 August 2020
- The modal mu-calculus alternation hierarchy is strict Julian Bradfield Tue 11 August 2020
- Eine topologische Charakterisierung einiger Klassen regularer Folgenmengen Klaus W. Wagner Tue 11 August 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
