- Relating word and tree automata Orna Kupferman Shmuel Safra Moshe Y. Vardi Fri 12 July 2013
- Relating word and tree automata O. Kupferman S. Safra M. Y. Vardi Fri 12 July 2013
- The Theory of Stabilisation Monoids and Regular Cost Functions Thomas Colcombet Fri 12 July 2013
- On the synthesis of a reactive module A. Pnueli R. Rosner Fri 12 July 2013
- On the complexity of omega-automata S. Safra Fri 12 July 2013
- Nondeterminism in the Presence of a Diverse or Unknown Future Udi Boker Denis Kuperberg Orna Kupferman Michał Skrzypczak Fri 12 July 2013
- Asynchronous Games over Tree Architectures Blaise Genest Hugo Gimbert Anca Muscholl Igor Walukiewicz Thu 11 July 2013
- Typing and computational properties of lambda expressions D Leivant Thu 11 July 2013
- Complete restrictions of the intersection type discipline Steffen van Bakel Wed 10 July 2013
- Characterization of Typings in Polymorphic Type Discipline Paola Giannini Simona Ronchi Della Rocca Wed 10 July 2013
- Computational consequences and partial solutions of a generalized unification problem A. Kfoury J. Tiuryn P. Urzyczyn Wed 10 July 2013
- Type reconstruction in finite-rank fragments of the polymorphic lambda-calculus A.J. Kfoury J. Tiuryn Wed 10 July 2013
- Types in lambda calculi and programming languages Henk Barendregt Kees Hemerik Wed 10 July 2013
- A Complete Type Inference Algorithm for Simple Intersection Types Mario Coppo Paola Giannini Wed 10 July 2013
- Higher-Order Subtyping with Intersection Types Adriana Beatriz Compagnoni Wed 10 July 2013
- Bounding normalization time through intersection types Erika De Benedetti Simona Ronchi Della Rocca Wed 10 July 2013
- Automatic autoprojection of higher order recursive equations Anders Bondorf Wed 10 July 2013
- Type Inference Algorithms S. Saeidi Mobarakeh Wed 10 July 2013
- Category theory for scientists David I. Spivak Wed 10 July 2013
- Efficient Closure Analysis with Reachability A. E. Ayers Wed 10 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
