scientific article; zbMATH DE number 4047066

zbMATH Open0642.68037MaRDI QIDQ3783522FDOQ3783522

Authors: Isabelle Gnaedig, Pierre Lescanne 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

terminationtransformation rulesreduction orderingassociative commutative rewriting systems

Mathematics Subject Classification ID

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

Cited In (17)

• Improving associative path orderings
• A fully syntactic AC-RPO.
• A path ordering for proving termination of AC rewrite systems
• Termination modulo equations by abstract commutation with an application to iteration
• Elimination transformations for associative-commutative rewriting systems
• Termination of rewriting
• Termination orderings for associative-commutative rewriting systems
• Associative-commutative reduction orderings
• Title not available (Why is that?)
• Termination of term rewriting by interpretation
• AC-termination of rewrite systems: a modified Knuth-Bendix ordering
• Title not available (Why is that?)
• Modular and incremental proofs of AC-termination
• Title not available (Why is that?)
• Title not available (Why is that?)
• Termination of rewrite systems by elementary interpretations
• A total AC-compatible ordering based on RPO

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)