Path orderings for termination of associative-commutative rewriting

DOI10.1007/3-540-56393-8_13OpenAlexW1480324783MaRDI QIDQ5881184

No author found.

Publication date: 9 March 2023

Published in: Conditional Term Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56393-8_13

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Termination modulo equations by abstract commutation with an application to iteration

Cites Work

• Unnamed Item
• Unnamed Item
• Termination of rewriting systems by polynomial interpretations and its implementation
• Termination orderings for associative-commutative rewriting systems
• Termination of rewriting
• Associative-commutative reduction orderings

This page was built for publication: Path orderings for termination of associative-commutative rewriting