Pages that link to "Item:Q928655"
From MaRDI portal
The following pages link to Matrix interpretations for proving termination of term rewriting (Q928655):
Displayed 11 items.
- KBO orientability (Q846165) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Increasing interpretations (Q1044231) (← links)
- Normalization of Infinite Terms (Q3522036) (← links)
- Automatic Termination (Q3636815) (← links)
- Dependency Pairs and Polynomial Path Orders (Q3636818) (← links)
- Local Termination (Q3636830) (← links)
- Increasing Interpretations (Q5505499) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
- The Derivational Complexity Induced by the Dependency Pair Method (Q5902127) (← links)