- On the completeness of order-theoretic models of the łambda-calculus Furio Honsell Gordon Plotkin Fri 31 January 2014
- A Variant of Higher-Order Anti-Unification Alexander Baumgartner Temur Kutsia Jordi Levy Mateu Villaret Fri 31 January 2014
- Infinite-state games with finitary conditions Krishnendu Chatterjee Nathanael Fijalkow Thu 30 January 2014
- Model Checking and Functional Program Transformations Axel Haddad Thu 30 January 2014
- Infinite Graphs Generated by Tree Rewriting Christof Løding Thu 30 January 2014
- Mots infinis engendrés par une grammaire algébrique Maurice Nivat Thu 30 January 2014
- Sur les ensembles de mots infinis engendrés par une grammaire algébrique Maurice Nivat Thu 30 January 2014
- The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems Matthew Hague Anthony Widjaja To Wed 29 January 2014
- How to Fix It: Using Fixpoints in Different Contexts Igor Walukiewicz Wed 29 January 2014
- Solving Pushdown Games with a Sigma3 Winning Condition Thierry Cachat Jacques Duparc Wolfgang Thomas Wed 29 January 2014
- Pushdown Games with Unboundedness and Regular Conditions Alexis-Julien Bouquet Oliver Serre Igor Walukiewicz Wed 29 January 2014
- Infinitary Rewriting: Foundations Revisited Stefan Kahrs Wed 29 January 2014
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting Stefan Michael Kahrs Wed 29 January 2014
- Infinitary Rewriting: Meta-theory and Convergence Stefan Kahrs Wed 29 January 2014
- Infinitary lambda calculi and bøhm models Richard Kennaway JanWillem Klop Ronan Sleep Fer-Jan Vries Wed 29 January 2014
- Applications of infinitary lambda calculus Henk Barendregt Jan Willem Klop Wed 29 January 2014
- Bisimulation in Untyped Lambda Calculus: Bøhm Trees and Bisimulation up to Context S.B. Lassen Wed 29 January 2014
- What is a model of the lambda calculus Albert R. Meyer Wed 29 January 2014
- Infinitary lambda calculus J. R. Kennaway J. W. Klop M. R. Sleep F. J. de Vries Wed 29 January 2014
- The Church-Rosser property and a result in Combinatory Logic Roger Hindleyer Wed 29 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
