- Strategy Complexity of Parity Objectives in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 14 July 2020
- On flat lossy channel machines Philippe Schnoebelen Tue 14 July 2020
- Generating Functions for Probabilistic Programs Lutz Klinkenberg Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Joshua Moerman Tobias Winkler Tue 14 July 2020
- A Proof of CSP Dichotomy Conjecture D. Zhuk Fri 10 July 2020
- A Dichotomy Theorem for Nonuniform CSPs A. A. Bulatov Fri 10 July 2020
- A short story of the CSP dichotomy conjecture A. A. Bulatov Fri 10 July 2020
- Certifying Emptiness of Timed Buchi Automata Simon Wimmer Frédéric Herbreteau Jaco van de Pol Thu 09 July 2020
- Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata Erik Paul Thu 09 July 2020
- Schwichtenberg-Style Lambda Definability Is Undecidable Jan Malolepszy Malgorzata Moczurad Marek Zaionc Thu 09 July 2020
- A Curry-Howard Approach to Church's Synthesis Pierre Pradic Colin Riba Wed 08 July 2020
- Cantor-Bernstein implies Excluded Middle Pierre Pradic Chad E. Brown Wed 08 July 2020
- Typed lambda-calculi and superclasses of regular functions Lê Thành Dung Nguy~ên Wed 08 July 2020
- Substructural Proofs as Automata Henry DeYoung Frank Pfenning Wed 08 July 2020
- From Normal Functors to Logarithmic Space Queries Lê Thành Dũng Nguyen Pierre Pradic Wed 08 July 2020
- On the expressive power of simply typed and let-polymorphic lambda calculi G. Hillebrand P. Kanellakis Wed 08 July 2020
- Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals Alessandro Artale Jean Christoph Jung Andrea Mazzullo Ana Ozaki Frank Wolter Wed 08 July 2020
- On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems Toghrul Karimov Joel Ouaknine James Worrell Wed 08 July 2020
- Verification of Immediate Observation Population Protocols Javier Esparza Pierre Ganty Rupak Majumdar Chana Weil-Kennedy Wed 08 July 2020
- Parameterized Analysis of Immediate Observation Petri Nets Javier Esparza Mikhail Raskin Chana Weil-Kennedy Wed 08 July 2020
- The Complexity of Verifying Population Protocols Javier Esparza Stefan Jaax Mikhail Raskin Chana Weil-Kennedy Wed 08 July 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
