Pages that link to "Item:Q5308459"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308459):
Displaying 6 items.
- Relaxing monotonicity for innermost termination (Q835006) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Proving Termination of Context-Sensitive Rewriting with MU-TERM (Q2867963) (← links)
