Pages that link to "Item:Q5055796"
From MaRDI portal
The following pages link to Total termination of term rewriting (Q5055796):
Displaying 7 items.
- A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity (Q1374676) (← links)
- Extension orderings (Q4645205) (← links)
- Towards a domain theory for termination proofs (Q5055834) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Dummy elimination: Making termination easier (Q5055895) (← links)
- Simple termination revisited (Q5210790) (← links)
- Termination of term rewriting by interpretation (Q5881183) (← links)
