The following pages link to Beatriz Alarcón (Q989288):
Displaying 9 items.
- Context-sensitive dependency pairs (Q989290) (← links)
- Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting (Q2808236) (← 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)
- Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs (Q3525002) (← links)
- A Dependency Pair Framework for A ∨ C-Termination (Q4933277) (← links)
- Context-Sensitive Dependency Pairs (Q5385994) (← links)
- Improving Context-Sensitive Dependency Pairs (Q5505586) (← links)
