Commutation, transformation, and termination

This publication has 12 references indexed in Scilit:

• Termination orderings for associative-commutative rewriting systems
  Journal of Symbolic Computation, 1985
• Computing with rewrite systems
  Information and Control, 1985
• Refutational theorem proving using term-rewriting systems
  Artificial Intelligence, 1985
• On Proving Uniform Termination and Restricted Termination of Rewriting Systems
  SIAM Journal on Computing, 1983
• Orderings for term-rewriting systems
  Theoretical Computer Science, 1982
• Proofs by induction in equational theories with constructors
  Journal of Computer and System Sciences, 1982
• Termination of linear rewriting systems
  Published by Springer Nature ,1981
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Operational and Semantic Equivalence Between Recursive Programs
  Journal of the ACM, 1980
• On proving inductive properties of abstract data types
  Published by Association for Computing Machinery (ACM) ,1980