The following pages link to (Q4494365):
Displaying 6 items.
- Automatizing termination proofs of recursively defined functions (Q1346629) (← links)
- Termination Proofs for Recursive Functions in FoCaLiZe (Q2814388) (← links)
- AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (Q3021959) (← links)
- On the Computational Content of Termination Proofs (Q3195706) (← links)
- (Q4016542) (← links)
- On automating the extraction of programs from proofs using product types (Q4916212) (← links)