- Forbidden Induced Subgraphs and the Łoś-Tarski Theorem Yijia Chen Joerg Flum Tue 04 August 2020
- On the Expressive Power of Higher-Order Pushdown Systems Paweł Parys Tue 04 August 2020
- The Amazing Power of Randomness: NP=RP András Faragó Tue 04 August 2020
- Preservation Theorems Through the Lens of Topology Aliaume Lopez Tue 04 August 2020
- Deciding low levels of tree-automata hierarchy Igor Walukiewicz Tue 04 August 2020
- On the Borel Inseparability of Game Tree Languages Szczepan Hummel Henryk Michalewski Damian Niwinski Tue 04 August 2020
- On Cancellation Properties of Languages Which Are Supports of Rational Power Series Antonio Restivo Christophe Reutenauer Tue 04 August 2020
- Separation Property for wB- and wS-regular Languages Michał Skrzypczak Tue 04 August 2020
- On the Expressive Power of Cost Logics over Infinite Words Denis Kuperberg Michael Vanden Boom Tue 04 August 2020
- Series which are both max-plus and min-plus rational are unambiguous Sylvain Lombardy Jean Mairesse Tue 04 August 2020
- Unambiguous Separators for Tropical Tree Automata Thomas Colcombet Sylvain Lombardy Tue 04 August 2020
- Inductive Reachability Witnesses Ali Asadi Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady Mohammad Mahdavi Sat 01 August 2020
- Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility Anthony W. Lin Rupak Majumdar Fri 31 July 2020
- Reasoning about strategies on collapsible pushdown arenas with imperfect information Bastien Maubert Aniello Murano Olivier Serre Fri 31 July 2020
- Dependent Pearl: Normalization by realizability Pierre-Évariste Dagand Lionel Rieg Gabriel Scherer Tue 28 July 2020
- Cyclotomic Identity Testing and Applications Nikhil Balaji Sylvain Perifel Mahsa Shirmohammadi James Worrell Tue 28 July 2020
- Verification of timed automata : reachability, liveness and modelling Thanh Tung Tran Tue 28 July 2020
- What is an EUTxO blockchain Murdoch J. Gabbay Tue 28 July 2020
- Verification of Timed Automata Based on Similarity Piotr Dembiński Wojciech Penczek Agata Pólrola Tue 28 July 2020
- Formalizing Constructive Quantifier Elimination in Agda Jeremy Pope Sat 25 July 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
