Pages that link to "Item:Q3976057"
From MaRDI portal
The following pages link to A new method for proving termination of AC-rewrite systems (Q3976057):
Displaying 12 items.
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- Associative-commutative reduction orderings (Q1198005) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- A fully syntactic AC-RPO. (Q1400715) (← links)
- Termination of rewrite systems by elementary interpretations (Q1805401) (← links)
- A path ordering for proving termination of AC rewrite systems (Q1891259) (← links)
- Any ground associative-commutative theory has a finite canonical system (Q5055779) (← links)
- A precedence-based total AC-compatible ordering (Q5055808) (← links)
- More problems in rewriting (Q5055812) (← links)
- Path orderings for termination of associative-commutative rewriting (Q5881184) (← links)