scientific article; zbMATH DE number 4047066

MaRDI QIDQ3783522zbMATH OpenFDO

Authors Isabelle Gnaedig, Pierre Lescanne

Publication date 1986

zbMATH Keywords

associative commutative rewriting systemsreduction orderingterminationtransformation rules

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65) Symbolic computation and algebraic computation (68W30)

Recommendations

• Termination orderings for associative-commutative rewriting systems
• scientific article; zbMATH DE number 18651
• scientific article; zbMATH DE number 3921960
• A path ordering for proving termination of AC rewrite systems
• Associative-commutative reduction orderings

Cited in

(18)

• Termination orderings for associative-commutative rewriting systems
• Termination of rewriting
• Associative-commutative reduction orderings
• Termination modulo equations by abstract commutation with an application to iteration
• A fully syntactic AC-RPO.
• Termination of rewrite systems by elementary interpretations
• A path ordering for proving termination of AC rewrite systems
• Modular and incremental proofs of AC-termination
• scientific article; zbMATH DE number 4047065 (Why is no real title available?)
• scientific article; zbMATH DE number 18651 (Why is no real title available?)
• scientific article; zbMATH DE number 2043518 (Why is no real title available?)
• scientific article; zbMATH DE number 1507181 (Why is no real title available?)
• AC-termination of rewrite systems: a modified Knuth-Bendix ordering
• Termination of term rewriting by interpretation
• Improving associative path orderings
• A total AC-compatible ordering based on RPO
• Free polynomial strong bimonoids
• Elimination transformations for associative-commutative rewriting systems

This page was built for publication:

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