Equations and Rewrite Rules: A Survey
Authors:
- Gérard HuetGHGérard Huet
- Derek C. OppenDODerek C. Oppen
- 1 January 1980
- book chapter
- Published by Elsevier
- p. 349-405
Abstract
No abstract availableThis publication has 74 references indexed in Scilit:
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979
- The diamond lemma for ring theoryAdvances in Mathematics, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Recursive definitions of partial functions and their computations1972
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Tree generating regular systemsInformation and Control, 1969
- The Word ProblemAnnals of Mathematics, 1959
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935