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

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

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Termination of rewriting systems by polynomial interpretations and its implementation
• Termination orderings for associative-commutative rewriting systems
• Associative-commutative reduction orderings
• AC-termination of rewrite systems: a modified Knuth-Bendix ordering
• Title not available (Why is that?)
• Any ground associative-commutative theory has a finite canonical system
• Equational formulae with membership constraints
• Title not available (Why is that?)
• Improving associative path orderings

Cited In (6)

• Positive deduction modulo regular theories
• More problems in rewriting
• Path orderings for termination of associative-commutative rewriting
• Modular and incremental proofs of AC-termination
• Title not available (Why is that?)
• 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)