The following pages link to Markus Aderhold (Q2866335):
Displayed 5 items.
- Context Dependent Procedures and Computed Types in ✓eriFun (Q2866336) (← links)
- Second-Order Programs with Preconditions (Q3058455) (← links)
- Automated Termination Analysis for Programs with Second-Order Recursion (Q3557079) (← links)
- Improvements in Formula Generalization (Q3608776) (← links)
- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (Q5747766) (← links)