- Infinite-Duration All-Pay Bidding Games Guy Avni Ismael Jecker Đorđe Žikelić Fri 15 May 2020
- Proof-relevant Category Theory in Agda Jason Z. S. Hu Jacques Carette Fri 15 May 2020
- Complexity Results and the Growths of Hairpin Completions of Regular Languages Volker Diekert Steffen Kopecki Fri 15 May 2020
- Some Problems in Formal Language Theory Known as Decidable are Proved EXPTIME Complete Takumi Kasai Shigeki Iwata Fri 15 May 2020
- C-Finite Sequences Manuel Kauers Peter Paule Thu 14 May 2020
- Algebraic Systems and Pushdown Automata Ion Petre Arto Salomaa Thu 14 May 2020
- A Robust Class of Linear Recurrence Sequences Corentin Barloy Nathanael Fijalkow Nathan Lhote Filip Mazowiecki Thu 14 May 2020
- The Extended HOA Format for Synthesis Guillermo A. Perez Thu 14 May 2020
- Bisimilarity in fresh-register automata Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos Thu 14 May 2020
- Some Model Theory of Guarded Negation Vince Barany Michael Benedikt Balder ten Cate Thu 14 May 2020
- Cumulative Games: Who is the current player Urban Larsson Reshef Meir Yair Zick Thu 14 May 2020
- Bisimulation Finiteness of Pushdown Systems Is Elementary Stefan Gøller Paweł Parys Thu 14 May 2020
- Featured Games Uli Fahrenberg Axel Legay Wed 13 May 2020
- MathZero, The Classification Problem, and Set-Theoretic Type Theory David McAllester Wed 13 May 2020
- Formal neighbourhoods, combinatory Bøhm trees, and untyped normalization by evaluation Peter Dybjer Denis Kuperberg Wed 13 May 2020
- Cyclic Proofs and Jumping Automata Denis Kuperberg Laureline Pinault Damien Pous Wed 13 May 2020
- Computing the Width of Non-deterministic Automata Denis Kuperberg Anirban Majumdar Wed 13 May 2020
- Sensing as a Complexity Measure Shaull Almagor Denis Kuperberg Orna Kupferman Wed 13 May 2020
- On Succinctness and Recognisability of Alternating Good-for-Games Automata Udi Boker Denis Kuperberg Karoliina Lehtinen Michał Skrzypczak Wed 13 May 2020
- Synchronization of Deterministic Visibly Push-Down Automata Henning Fernau Petra Wolf Wed 13 May 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
