Total termination of term rewriting

DOI10.1007/BF01191381zbMath0847.68054MaRDI QIDQ1912706

Hans Zantema, Maria C. F. Ferreira

Publication date: 14 May 1996

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

zbMATH Keywords

term rewriting systems; proving termination; total termination

Mathematics Subject Classification ID

68Q42: Grammars and rewriting systems

Related Items

The order types of termination orderings on monadic terms, strings and multisets, Termination modulo equations by abstract commutation with an application to iteration, Simple termination of rewrite systems, Relative undecidability in term rewriting. I: The termination hierarchy, Relative undecidability in term rewriting. II: The confluence hierarchy, Total termination of term rewriting

Uses Software

• REVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Termination of rewriting systems by polynomial interpretations and its implementation
• Modular properties of conditional term rewriting systems
• Termination of rewriting
• Termination proofs by multiset path orderings imply primitive recursive derivation lengths
• Termination of term rewriting: Interpretation and type elimination
• Total termination of term rewriting
• Proving termination with multiset orderings
• Accessible Independence Results for Peano Arithmetic
• The order types of termination orderings on monadic terms, strings and multisets