Total termination of term rewriting

DOI10.1007/978-3-662-21551-7_17zbMath1503.68106OpenAlexW1876432474MaRDI QIDQ5055796

Maria C. F. Ferreira, Hans Zantema

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-21551-7_17

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Termination of term rewriting by interpretation, Towards a domain theory for termination proofs, Problems in rewriting III, Dummy elimination: Making termination easier, Extension orderings, Simple termination revisited

Cites Work

• Termination of rewriting systems by polynomial interpretations and its implementation
• Termination of rewriting
• Termination proofs by multiset path orderings imply primitive recursive derivation lengths
• Proving termination with multiset orderings
• The order types of termination orderings on monadic terms, strings and multisets
• Extensions and comparison of simplification orderings
• Termination of term rewriting by interpretation
• Unnamed Item
• Unnamed Item