Modular termination of term rewriting systems revisited

This publication has 14 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
• Modularity of simple termination of term rewriting systems with shared constructors
  Theoretical Computer Science, 1992
• Completeness of combinations of constructor systems
  Published by Springer Nature ,1991
• Rewrite Systems
  Published by Elsevier ,1990
• 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
• Completion of a Set of Rules Modulo a Set of Equations
  SIAM Journal on Computing, 1986
• Conditional rewrite rules
  Theoretical Computer Science, 1984
• Orderings for term-rewriting systems
  Theoretical Computer Science, 1982