The following pages link to (Q4809069):
Displayed 11 items.
- Relaxing monotonicity for innermost termination (Q835006) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Lazy Rewriting and Context-Sensitive Rewriting (Q2841298) (← links)
- (Q2851049) (← links)
- Improving the Context-sensitive Dependency Graph (Q2867962) (← links)
- Proving Termination of Context-Sensitive Rewriting with MU-TERM (Q2867963) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)