Pages that link to "Item:Q1198005"
From MaRDI portal
The following pages link to Associative-commutative reduction orderings (Q1198005):
Displaying 12 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- A fully syntactic AC-RPO. (Q1400715) (← links)
- A path ordering for proving termination of AC rewrite systems (Q1891259) (← links)
- Proof-theoretic analysis of termination proofs (Q1899143) (← links)
- FOUNTAIN-GOULD ORDERS IN ASSOCIATIVE PAIRS (Q2764485) (← links)
- (Q4942286) (← links)
- A precedence-based total AC-compatible ordering (Q5055808) (← links)
- Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809) (← links)
- Path orderings for termination of associative-commutative rewriting (Q5881184) (← links)