Pages that link to "Item:Q835006"
From MaRDI portal
The following pages link to Relaxing monotonicity for innermost termination (Q835006):
Displaying 5 items.
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting (Q2808236) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)
