Conditional rewrite rules: Confluence and termination

This publication has 11 references indexed in Scilit:

• Conditional rewrite rules
  Theoretical Computer Science, 1984
• Towards executable specifications using conditional axioms
  Published by Springer Nature ,1984
• The Lambda Calculus - Its Syntax and Semantics
  Studies in Logic and the Foundations of Mathematics, 1984
• Unique normal forms in term rewriting systems with repeated variables
  Published by Association for Computing Machinery (ACM) ,1981
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Parameterized data types in algebraic specification languages
  Lecture Notes in Computer Science, 1980
• A characterisation of computable data types by means of a finite equational specification method
  Published by Springer Nature ,1980
• Minimal and Optimal Computations of Recursive Programs
  Journal of the ACM, 1979
• Computing in systems described by equations
  Lecture Notes in Computer Science, 1977