Pages that link to "Item:Q5055809"
From MaRDI portal
The following pages link to Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809):
Displaying 5 items.
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- More problems in rewriting (Q5055812) (← links)
- Path orderings for termination of associative-commutative rewriting (Q5881184) (← links)
- Positive deduction modulo regular theories (Q6560184) (← links)