scientific article; zbMATH DE number 18651
From MaRDI portal
Publication:3976057
Recommendations
- A path ordering for proving termination of AC rewrite systems
- scientific article; zbMATH DE number 4047066
- A total, ground path ordering for proving termination of AC-rewrite systems
- AC-termination of rewrite systems: a modified Knuth-Bendix ordering
- Termination orderings for associative-commutative rewriting systems
Cited in
(15)- A fully syntactic AC-RPO.
- Any ground associative-commutative theory has a finite canonical system
- Conditional narrowing modulo a set of equations
- A path ordering for proving termination of AC rewrite systems
- Termination modulo equations by abstract commutation with an application to iteration
- More problems in rewriting
- Associative-commutative reduction orderings
- Automated proofs of equality problems in Overbeek's competition
- AC-termination of rewrite systems: a modified Knuth-Bendix ordering
- A total, ground path ordering for proving termination of AC-rewrite systems
- Path orderings for termination of associative-commutative rewriting
- A precedence-based total AC-compatible ordering
- scientific article; zbMATH DE number 4047066 (Why is no real title available?)
- 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 Q3976057)
