Transformations and confluence for rewrite systems

This publication has 7 references indexed in Scilit:

• Conception, evolution, and application of functional programming languages
  ACM Computing Surveys, 1989
• Implementing first-order rewriting with constructor systems
  Theoretical Computer Science, 1988
• On the correspondence between two classes of reduction systems
  Information Processing Letters, 1985
• Programming with Equations
  ACM Transactions on Programming Languages and Systems, 1982
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• Abstract Data Types and Software Validation
  Published by Defense Technical Information Center (DTIC) ,1976
• On Theories with a Combinatorial Definition of "Equivalence"
  Annals of Mathematics, 1942