Decidability of confluence for ground term rewriting systems

This publication has 15 references indexed in Scilit:

• Confluent and coherent equational term rewriting systems application to proofs in abstract data types
  Published by Springer Nature ,1983
• 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
• Orderings for term-rewriting systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Sur l'inversion des morphismes d'arbres
  Lecture Notes in Computer Science, 1978
• Complexity of finitely presented algebras
  Published by Association for Computing Machinery (ACM) ,1977
• Bottom-up and top-down tree transformations— a comparison
  Theory of Computing Systems, 1975
• Compositions of n tree transducers
  Published by Association for Computing Machinery (ACM) ,1972
• Tree acceptors and some of their applications
  Journal of Computer and System Sciences, 1970
• Tree generating regular systems
  Information and Control, 1969