Extension of the associative path ordering to a chain of associative commutative symbols

DOI10.1007/978-3-662-21551-7_29OpenAlexW1491955365MaRDI QIDQ5055809

Laurence Puel, Catherine Delor

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_29

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

More problems in rewriting ⋮ Modular and incremental proofs of AC-termination ⋮ A total AC-compatible ordering based on RPO

Cites Work

• Termination of rewriting systems by polynomial interpretations and its implementation
• Termination orderings for associative-commutative rewriting systems
• Associative-commutative reduction orderings
• Equational formulae with membership constraints
• Any ground associative-commutative theory has a finite canonical system
• AC-Termination of rewrite systems: A modified Knuth-Bendix ordering
• Unnamed Item
• Unnamed Item

This page was built for publication: Extension of the associative path ordering to a chain of associative commutative symbols