The following pages link to VMTL (Q22034):
Displayed 7 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- (Q2980968) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- Proving Termination in the Context-Sensitive Dependency Pair Framework (Q4933276) (← links)
- Program Inversion for Tail Recursive Functions (Q5389087) (← links)