Overlap closures do not suffice for termination of general term rewriting systems

DOI10.1016/0020-0190(91)90243-BzbMath0711.68067MaRDI QIDQ922713

Xubo Zhang

Publication date: 1991

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

terminationterm rewriting systemoverlap closures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Thue and Post systems, etc. (03D03)

Related Items (1)

Deciding Innermost Loops

Cites Work

• Unnamed Item
• Termination of rewriting
• Corrigendum to ``Termination of rewriting
• Counterexamples to termination for the direct sum of term rewriting systems
• On termination of the direct sum of term-rewriting systems
• On Proving Uniform Termination and Restricted Termination of Rewriting Systems

This page was built for publication: Overlap closures do not suffice for termination of general term rewriting systems