Combinatory Reduction Systems: introduction and survey (1993)

Cached

Download Links

by Jan Willem Klop , Vincent van Oostrom , Femke van Raamsdonk
Venue:THEORETICAL COMPUTER SCIENCE
Citations:84 - 9 self

Active Bibliography

63 Higher-order rewrite systems and their confluence – Richard Mayr - 1998
19 Open Problems in Rewriting – Nachum Dershowitz, Jean-pierre Jouannaud, Jan Willem Klop - 1991
14 Termination and confluence of higher-order rewrite systems – Frédéric Blanqui - 2000
18 Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems – Vincent Van Oostrom, Femke Van Raamsdonk - 1993
44 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 1997
Author manuscript, published in "Theoretical Computer Science (2002)" DOI: 10.1016/S0304-3975(00)00347-9 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 2013
4 Perpetuality and Uniform Normalization – Zurab Khasidashvili, Mizuhito Ogawa - 1997
7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
16 A Logic Programming Approach to Implementing Higher-Order Term Rewriting – Amy Felty - 1992
1 1 Context-sensitive Conditional Reduction Systems – Z. Khasidashvili, V. Van Oostrom, Zurab Khasidashvili
7 Perpetual Reductions in λ-Calculus – Femke Van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, B. Srensen, Hongwei Xi - 1999
6 Perpetual Reductions in λ-Calculus – Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei Xi - 1999
20 Higher-order narrowing – Christian Prehofer - 1994
18 The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems – Zurab Khasidashvili - 1994
27 The Calculus of Algebraic Constructions – Frédéric Blanqui - 1999
8 Modularity of Strong Normalization in the Algebraic-λ-cube – Franco Barbanera, Maribel Fernández, Herman Geuvers - 1996
9 A Combinatory Logic Approach to Higher-order E-unification – Daniel J. Dougherty, Patricia Johann - 1992
3 Relative Normalization in Stable Deterministic Residual Structures – John Glauert, John Glauert, Zurab Khasidashvili, Zurab Khasidashvili - 1996
10 Discrete Normalization and Standardization in Deterministic Residual Structures – Zurab Khasidashvili, John Glauert - 1996