- Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment Jean Christoph Jung Frank Wolter Mon 06 July 2020
- On the decidability and complexity of Metric Temporal Logic over finite words Joel Ouaknine James Worrell Mon 06 July 2020
- The future of mathematics Kevin Buzzard Sat 04 July 2020
- ICALP-LICS'20 Schedule AAVV Sat 04 July 2020
- Pebble Minimization of Polyregular Functions Nathan Lhote Sat 04 July 2020
- Re-Pairing Brackets Dmitry Chistikov Mikhail Vyalyi Sat 04 July 2020
- Uniformisations of Regular Relations Over Bi-Infinite Words Grzegorz Fabiaundefinedski Michał Skrzypczak Szymon Toruundefinedczyk Sat 04 July 2020
- Making Streett Determinization Tight Cong Tian Wensheng Wang Zhenhua Duan Sat 04 July 2020
- Good-for-Games ømega-Pushdown Automata Karoliina Lehtinen Martin Zimmermann Sat 04 July 2020
- When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic Sebastian Maneth Helmut Seidl Sat 04 July 2020
- Single-Use Automata and Transducers for Infinite Alphabets Mikołaj Bojańczyk Rafał Stefański Sat 04 July 2020
- Computing Measures of Weak-MSO Definable Sets of Trees Damian Niwiński Marcin Przybyłko Michał Skrzypczak Sat 04 July 2020
- Large and Infinitary Quotient Inductive-Inductive Types András Kovács Ambrus Kaposi Sat 04 July 2020
- The Integers as a Higher Inductive Type Thorsten Altenkirch Luis Scoccola Sat 04 July 2020
- Rational Subsets of Baumslag-Solitar Groups Michael Cadilhac Dmitry Chistikov Georg Zetzsche Sat 04 July 2020
- On the Structure of Solution Sets to Regular Word Equations Joel D. Day Florin Manea Sat 04 July 2020
- Weakly-Unambiguous Parikh Automata and Their Link to Holonomic Series Alin Bostan Arnaud Carayol Florent Koechlin Cyril Nicaud Sat 04 July 2020
- Hardness Results for Constant-Free Pattern Languages and Word Equations Aleksi Saarela Sat 04 July 2020
- Counting Bounded Tree Depth Homomorphisms Martin Grohe Sat 04 July 2020
- Dynamic Complexity of Reachability: How Many Changes Can We Handle Samir Datta Pankaj Kumar Anish Mukherjee Anuj Tawari Nils Vortmeier Thomas Zeume Sat 04 July 2020
Library Size: 13G (12978 entries),
Last Updated: Apr 21, 2026, 07:42:55,
Build Time: N/A
