Pages that link to "Item:Q5432346"
From MaRDI portal
The following pages link to Proving Termination of Rewrite Systems Using Bounds (Q5432346):
Displayed 7 items.
- Match-bounds revisited (Q1041044) (← links)
- Increasing interpretations (Q1044231) (← links)
- Proving Quadratic Derivational Complexities Using Context Dependent Interpretations (Q3522024) (← links)
- Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems (Q3540124) (← links)
- Automatic Termination (Q3636815) (← links)
- Beyond Dependency Graphs (Q5191112) (← links)
- Increasing Interpretations (Q5505499) (← links)