Pages that link to "Item:Q5881183"
From MaRDI portal
The following pages link to Termination of term rewriting by interpretation (Q5881183):
Displaying 7 items.
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Total termination of term rewriting (Q5055796) (← links)
- Simple termination is difficult (Q5055798) (← links)
- Linear interpretations by counting patterns (Q5055811) (← links)
- A termination ordering for higher order rewrite systems (Q5055816) (← links)
- Simple termination revisited (Q5210790) (← links)
- Termination of term rewriting by interpretation (Q5881183) (← links)
