- Integer multiplication in time O(n log n) David Harvey Joris Van Der Hoeven Wed 27 March 2019
- Minimum-Time Reachability in Timed Games Thomas Brihaye Thomas A. Henzinger Vinayak S. Prabhu Jean-François Raskin Wed 27 March 2019
- The Shapley value for shortest path games Miklos Pinter Anna Radvanyi Tue 26 March 2019
- Shortest path games Edward C. Rosenthal Tue 26 March 2019
- On the Shortest Path Game Andreas Darmann Ulrich Pferschy Joachim Schauer Tue 26 March 2019
- The Subset Sum game Andreas Darmann Gaia Nicosia Ulrich Pferschy Joachim Schauer Tue 26 March 2019
- Geography A.S. Fraenkel S. Simonson Tue 26 March 2019
- The Shortest Path Game: Complexity and Algorithms Andreas Darmann Ulrich Pferschy Joachim Schauer Tue 26 March 2019
- Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension Jérôme Leroux Sylvain Schmitz Fri 22 March 2019
- A general formulation of simultaneous inductive-recursive definitions in type theory Peter Dybjer Thu 21 March 2019
- On the Meanings of the Logical Constants and the Justifications of the Logical Laws Per Martin-Løf Thu 21 March 2019
- Introduction to the Calculus of Inductive Constructions Christine Paulin-Mohring Thu 21 March 2019
- Inductive families Peter Dybjer Thu 21 March 2019
- Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Wed 20 March 2019
- Complexity Results on Register Context-Free Grammars and Register Tree Automata Ryoma Senda Yoshiaki Takata Hiroyuki Seki Tue 19 March 2019
- Generalized Register Context-Free Grammars Ryoma Senda Yoshiaki Takata Hiroyuki Seki Tue 19 March 2019
- On Store Languages and Applications Oscar H. Ibarra Ian McQuillan Tue 19 March 2019
- Supervisory control and reactive synthesis: a comparative introduction Rudiger Ehlers Stéphane Lafortune Stavros Tripakis Moshe Y. Vardi Mon 18 March 2019
- Assume-admissible synthesis Romain Brenguier Jean-François Raskin Ocan Sankur Mon 18 March 2019
- Universal graphs and Good for small games automata: New tools for infinite duration games Thomas Colcombet Nathanael Fijalkow Mon 18 March 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
