Completeness of combinations of constructor systems

This publication has 12 references indexed in Scilit:

• A sufficient condition for the termination of the direct sum of term rewriting systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Rewrite Systems
  Published by Elsevier ,1990
• Termination for the direct sum of left-linear term rewriting systems
  Published by Springer Nature ,1989
• Modular aspects of properties of term rewriting systems related to normal forms
  Published by Springer Nature ,1989
• On termination of the direct sum of term-rewriting systems
  Information Processing Letters, 1987
• Counterexamples to termination for the direct sum of term rewriting systems
  Information Processing Letters, 1987
• On the Church-Rosser property for the direct sum of term rewriting systems
  Journal of the ACM, 1987
• 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
• On Theories with a Combinatorial Definition of "Equivalence"
  Annals of Mathematics, 1942