Rewrite rule theory and abstract data type analysis

This publication has 12 references indexed in Scilit:

• Tecton: A language for manipulating generic objects
  Published by Springer Nature ,1982
• Complete Sets of Reductions for Some Equational Theories
  Journal of the ACM, 1981
• Operators and algebraic structures
  Published by Association for Computing Machinery (ACM) ,1981
• A language for computational algebra
  Published by Association for Computing Machinery (ACM) ,1981
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• A Catalogue of Canonical Term Rewriting Systems.
  Published by Defense Technical Information Center (DTIC) ,1980
• On proving inductive properties of abstract data types
  Published by Association for Computing Machinery (ACM) ,1980
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Operators
  ACM Transactions on Programming Languages and Systems, 1979
• The algebraic specification of abstract data types
  Acta Informatica, 1978