- Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract Peng Fu Kohei Kishida Peter Selinger Sat 04 July 2020
- Constructing Higher Inductive Types as Groupoid Quotients Niels van der Weide Sat 04 July 2020
- Sequential Colimits in Homotopy Type Theory Kristina Sojakova Floris van Doorn Egbert Rijke Sat 04 July 2020
- Multimodal Dependent Type Theory Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal Sat 04 July 2020
- Russian Constructivism in a Prefascist Theory Pierre-Marie Pédrot Sat 04 July 2020
- Decision Problems in Information Theory Mahmoud Abo Khamis Phokion G. Kolaitis Hung Q. Ngo Dan Suciu Sat 04 July 2020
- Sensitive Instances of the Constraint Satisfaction Problem Libor Barto Marcin Kozik Johnson Tan Matt Valeriote Sat 04 July 2020
- Implicit Automata in Typed łambda-Calculi I: Aperiodicity in a Non-Commutative Logic Lê Thành Dũng Nguy~ên Pierre Pradic Sat 04 July 2020
- On Higher-Order Cryptography Boaz Barak Raphaelle Crubillé Ugo Dal Lago Sat 04 July 2020
- On the Power of Ordering in Linear Arithmetic Theories Dmitry Chistikov Christoph Haase Sat 04 July 2020
- Hrushovski's Encoding and ømega-Categorical CSP Monsters Pierre Gillibert Julius Jonušas Michael Kompatscher Antoine Mottet Michael Pinsker Sat 04 July 2020
- The Iteration Number of Colour Refinement Sandra Kiefer Brendan D. McKay Sat 04 July 2020
- The Complexity of Reachability in Affine Vector Addition Systems with States Michael Blondin Mikhail Raskin Sat 04 July 2020
- Bisimulation Finiteness of Pushdown Systems Is Elementary Stefan Gøller Paweł Parys Sat 04 July 2020
- Complexity of Controlled Bad Sequences over Finite Sets of Nd A. R. Balasubramanian Sat 04 July 2020
- Invariants for Continuous Linear Dynamical Systems Shaull Almagor Edon Kelmendi Joel Ouaknine James Worrell Sat 04 July 2020
- On the Size of Finite Rational Matrix Semigroups Georgina Bumpus Christoph Haase Stefan Kiefer Paul-Ioan Stoienescu Jonathan Tanner Sat 04 July 2020
- On Decidability of Time-Bounded Reachability in CTMDPs Rupak Majumdar Mahmoud Salamati Sadegh Soudjani Sat 04 July 2020
- On Polynomial Recursive Sequences Michael Cadilhac Filip Mazowiecki Charles Paperman Michał Pilipczuk Géraud Sénizergues Sat 04 July 2020
- Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete Wenbo Zhang Qiang Yin Huan Long Xian Xu Sat 04 July 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:28:24,
Build Time: N/A