Pages that link to "Item:Q4933276"
From MaRDI portal
The following pages link to Proving Termination in the Context-Sensitive Dependency Pair Framework (Q4933276):
Displayed 6 items.
- Lazy productivity via termination (Q549188) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)