The following pages link to (Q4518863):
Displaying 4 items.
- Specifying termination in CSP (Q407510) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)