- On Skolem-Hardness and Saturation Points in Markov Decision Processes Jakob Piribauer Christel Baier Sat 04 July 2020
- The Integers as a Higher Inductive Type Thorsten Altenkirch Luis Scoccola Sat 04 July 2020
- A Quasiorder-based Perspective on Residual Automata Pierre Ganty Elena Gutiérrez Pedro Valero Sat 04 July 2020
- An Approach to Regular Separability in Vector Addition Systems Wojciech Czerwiński Georg Zetzsche Sat 04 July 2020
- Fundamentals of Computing Leonid A. Levin Sat 04 July 2020
- The Complexity of Bounded Context Switching with Dynamic Thread Creation Pascal Baumann Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Sat 04 July 2020
- CONCUR'20 - Test of Time Interviews Luca Aceto Wed 01 July 2020
- Timed Games and Deterministic Separability Lorenzo Clemente Sławomir Lasota Radosław Piórkowski Mon 29 June 2020
- Cost Automata, Safe Schemes, and Downward Closures David Barozzini Lorenzo Clemente Thomas Colcombet Paweł Parys Mon 29 June 2020
- Detectability of labeled weighted (max-plus) automata Kuize Zhang Fri 26 June 2020
- Dependently Typed Functional Programs and their Proofs Conor McBride Thu 25 June 2020
- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games Thomas Brihaye Aline Goeminne Thu 25 June 2020
- ENAC Corso online - Attestato di pilota APR (operazioni non critiche) ENAC Thu 25 June 2020
- Differentially closed fields Saharon Shelah Thu 25 June 2020
- Entropy of Regular Timed Languages Eugene Asarin Nicolas Basset Aldric Degorre Wed 24 June 2020
- Rational subsets of Baumslag-Solitar groups Michael Cadilhac Dmitry Chistikov Georg Zetzsche Tue 23 June 2020
- A survey of queueing systems with strategic timing of arrivals Moshe Haviv Liron Ravner Tue 23 June 2020
- Constructive Mathematics Stanford Encyclopedia of Philosophy Mon 22 June 2020
- Intuitionistic Logic Stanford Encyclopedia of Philosophy Mon 22 June 2020
- The Development of Intuitionistic Logic Stanford Encyclopedia of Philosophy Mon 22 June 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
