The following pages link to (Q3783522):
Displaying 5 items.
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- Termination of rewriting (Q1098624) (← 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)
