Pages that link to "Item:Q5881183"
From MaRDI portal
The following pages link to Termination of term rewriting by interpretation (Q5881183):
Displaying 16 items.
- Termination of rewriting systems by polynomial interpretations and its implementation (Q579930) (← links)
- Increasing interpretations (Q1044231) (← links)
- Termination of term rewriting: Interpretation and type elimination (Q1332336) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- On probabilistic term rewriting (Q1648879) (← links)
- Termination of rewrite systems by elementary interpretations (Q1805401) (← links)
- Total termination of term rewriting (Q1912706) (← links)
- Tuple interpretations for termination of term rewriting (Q2102931) (← links)
- (Q4357055) (← 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)
- Syntax-guided termination analysis (Q6045001) (← links)