- On the Complexity of Zero Gap MIP* Hamoon Mousavi Seyed Sajjad Nezhadi Henry Yuen Sat 04 July 2020
- Interaction Laws of Monads and Comonads Shin-ya Katsumata Exequiel Rivas Tarmo Uustalu Sat 04 July 2020
- Automata Learning: An Algebraic Approach Henning Urbat Lutz Schrøder Sat 04 July 2020
- A Fixed Point Theorem on Lexicographic Lattice Structures Angelos Charalambidis Giannos Chatziagapis Panos Rondogiannis Sat 04 July 2020
- Resolving Finite Indeterminacy: A Definitive Constructive Universal Prime Ideal Theorem Peter Schuster Daniel Wessel Sat 04 July 2020
- On the Computational Content of Zorn's Lemma Thomas Powell Sat 04 July 2020
- Space-Efficient Query Evaluation over Probabilistic Event Streams Rajeev Alur Yu Chen Kishor Jothimurugan Sanjeev Khanna Sat 04 July 2020
- First-Order Tree-to-Tree Functions Mikołaj Bojaundefinedczyk Amina Doumane Sat 04 July 2020
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic Szymon Toruundefinedczyk Thomas Zeume Sat 04 July 2020
- Extensions of ømega-Regular Languages Mikołaj Bojaundefinedczyk Edon Kelmendi Rafał Stefaundefinedski Georg Zetzsche Sat 04 July 2020
- One-Clock Priced Timed Games Are PSPACE-Hard John Fearnley Rasmus Ibsen-Jensen Rahul Savani Sat 04 July 2020
- Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws Alexandre Goy Daniela Petrişan Sat 04 July 2020
- Mixing Probabilistic and Non-Probabilistic Objectives in Markov Decision Processes Raphael Berthon Shibashis Guha Jean-François Raskin Sat 04 July 2020
- An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata Salomon Sickert Javier Esparza Sat 04 July 2020
- The Adversarial Stackelberg Value in Quantitative Games Emmanuel Filiot Raffaella Gentilini Jean-François Raskin Sat 04 July 2020
- The Power of a Single Qubit: Two-Way Quantum Finite Automata and the Word Problem Zachary Remscrim Sat 04 July 2020
- Two Variable Logic with Ultimately Periodic Counting Michael Benedikt Egor V. Kostylev Tony Tan Sat 04 July 2020
- The Strahler Number of a Parity Game Laure Daviaud Marcin Jurdziński K. S. Thejaswini Sat 04 July 2020
- The Benefit of Being Non-Lazy in Probabilistic łambda-Calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name Gianluca Curzi Michele Pagani Sat 04 July 2020
- Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract Peng Fu Kohei Kishida Peter Selinger Sat 04 July 2020
Library Size: 13G (12978 entries),
Last Updated: Apr 21, 2026, 07:42:55,
Build Time: N/A
