G. Huet, J.-J. L'evy, "Computations in orthogonal rewriting systems". In J.-L. Lassez and G. D. Plotkin, editors, Computational Logic; Essays in Honor of Alan Robinson, pages 394--443. MIT Press, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Relative Normalization in Orthogonal Expression Reduction.. - Glauert, Khasidashvili (1994) (2 citations) (Correct)
Compact Normalisation Trace via Lazy Rewriting - Nguyen (2001) (3 citations) (Correct)
Automata-Driven Efficient Subterm Unification - Ramesh, Ramakrishnan (Correct)
Transformation-based Strategies for Lazy Functional.. - Alpuente, Falaschi.. (1999) (Correct)
An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
A Survey of Abstract Rewriting - Bognar (1995) (Correct)
A Formal Approach to Reasoning about the Effectiveness of.. - Albert, Antoy, Vidal (2000) (Correct)
Measuring the Effectiveness of Partial Evaluation in.. - Albert, Antoy, Vidal (2001) (Correct)
Standardization Theorem Revisited - Suzuki (1996) (3 citations) (Correct)
Modeling Sharing and Recursion for Weak Reduction.. - Zine-El-Abidine.. (Correct)
Normalization, Approximation, and Semantics for.. - van Bakel.. (Correct)
Higher-Order Narrowing with Definitional Trees - Hanus (1999) (25 citations) (Correct)
An Abstract Standardisation Theorem - Gonthier, Lévy.. (1992) (30 citations) (Correct)
Normalization, Approximation, and Semantics for Combinator.. - van Bakel, al. (Correct)
Comparing Logics for Rewriting: Rewriting logic, action.. - Gadducci, Montanari (2002) (Correct)
CPO models for infinite term rewriting - Corradini, Gadducci (1995) (3 citations) (Correct)
A Transformation System for Lazy Functional Logic Programs - Alpuente, Falaschi.. (1999) (3 citations) (Correct)
Higher-Order Narrowing with Definitional Trees - Hanus, Prehofer (1996) (25 citations) (Correct)
Axiomatic Rewriting Theory IV - A stability theorem in Rewriting.. - Mellies (1998) (1 citation) (Correct)
The complete list of RTA open problems - Date April Summary (Correct)
The complete list of RTA open problems - Date April Summary (Correct)
Uniform Normalisation beyond Orthogonality - Khasidashvili, Ogawa, van Oostrom (2001) (1 citation) (Correct)
Problems in Rewriting III - Dershowitz, Jouannaud, Klop (1995) (11 citations) (Correct)
Problems in Rewriting III - Dershowitz, Jouannaud, Klop (1995) (11 citations) (Correct)
A Taste of Rewrite Systems - Dershowitz (1993) (6 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC