- The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version) Thomas Brihaye Véronique Bruyère Aline Goeminne Jean-François Raskin Marie van den Bogaard Wed 08 May 2019
- Verifying Higher-Order Functions with Tree Automata Thomas Genet Timothée Haudebourg Thomas Jensen Wed 08 May 2019
- Extensions of the Caucal Hierarchy Paweł Parys Wed 08 May 2019
- Erratum for Randomization in Automata on Infinite Trees Arnaud Carayol Axel Haddad Olivier Serre Mon 06 May 2019
- Covering and separation for logical fragments with modular predicates Thomas Place Varun Ramanathan Pascal Weil Mon 06 May 2019
- Safe recursion with higher types and BCK-algebra Martin Hofmann Thu 02 May 2019
- The Geometry of Linear Higher-order Recursion Ugo Dal Lago Thu 02 May 2019
- Probabilistic Termination by Monadic Affine Sized Typing Ugo Dal Lago Charles Grellois Thu 02 May 2019
- Higher-Order Probabilistic Programming Ugo dal Lago Thu 02 May 2019
- Higher-Order Model Checking: An Overview L. Ong Thu 02 May 2019
- On the Skolem Problem for Continuous Linear Dynamical Systems Ventsislav Chonev Joel Ouaknine James Worrell Tue 30 April 2019
- On the Way to Alternating Weak Automata Udi Boker Karoliina Lehtinen Tue 30 April 2019
- Alternating Weak Automata from Universal Trees Laure Daviaud Marcin Jurdzinski Karoliina Lehtinen Tue 30 April 2019
- Register Games Udi Boker Karoliina Lehtinen Tue 30 April 2019
- Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata Milan Češka Vojtěch Havlena Lukáš Holík Jan Kořenek Ondřej Lengál Denis Matoušek Jiří Matoušek Jakub Semrič Tomáš Vojnar Tue 30 April 2019
- Linear Haskell: practical linearity in a higher-order polymorphic language Jean-Philippe Bernardy Mathieu Boespflug Ryan R. Newton Simon Peyton Jones Arnaud Spiwack Tue 30 April 2019
- Intersection Types for Unboundedness Problems Paweł Parys Tue 30 April 2019
- Formalising the Completeness Theorem of Classical Propositional Logic in Agda (Proof Pearl) Leran Cai Ambrus Kaposi Thorsten Altenkirch Mon 29 April 2019
- Auto in Agda Wen Kokke Wouter Swierstra Mon 29 April 2019
- Applying Linear Quantifier Elimination R. Loos V. Weispfenning Mon 29 April 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
