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

DOI10.1007/978-3-662-21551-7_29MaRDI QIDQ5055809zbMATH OpenOpenAlexFDO

Authors Catherine Delor, Laurence Puel

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)

Recommendations

• scientific article; zbMATH DE number 3921960
• Path orderings for termination of associative-commutative rewriting
• Termination orderings for associative-commutative rewriting systems
• A path ordering for proving termination of AC rewrite systems
• A total, ground path ordering for proving termination of AC-rewrite systems

Cites work

• scientific article; zbMATH DE number 4047065 (Why is no real title available?)
• scientific article; zbMATH DE number 4078851 (Why is no real title available?)
• AC-termination of rewrite systems: a modified Knuth-Bendix ordering
• Any ground associative-commutative theory has a finite canonical system
• Associative-commutative reduction orderings
• Equational formulae with membership constraints
• Improving associative path orderings
• Termination of rewriting systems by polynomial interpretations and its implementation
• Termination orderings for associative-commutative rewriting systems

Cited in

(6)

• Positive deduction modulo regular theories
• More problems in rewriting
• Modular and incremental proofs of AC-termination
• Path orderings for termination of associative-commutative rewriting
• scientific article; zbMATH DE number 3921960 (Why is no real title available?)
• A total AC-compatible ordering based on RPO

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055809)