Pages that link to "Item:Q5055895"
From MaRDI portal
The following pages link to Dummy elimination: Making termination easier (Q5055895):
Displaying 6 items.
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Termination of term rewriting using dependency pairs (Q1978641) (← links)
- Transforming termination by self-labelling (Q4647535) (← links)
- A complete characterization of termination of 0p 1q→1r 0s (Q5055817) (← links)
- Termination of constructor systems (Q5055852) (← links)
- Dummy elimination in equational rewriting (Q5055853) (← links)