The following pages link to François Monin (Q2576569):
Displaying 7 items.
- (Q197373) (redirect page) (← links)
- A computer checked algebraic verification of a distributed summation algorithm (Q2576570) (← links)
- AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (Q3021959) (← links)
- (Q4494365) (← links)
- (Q4501582) (← links)
- On automating the extraction of programs from proofs using product types (Q4916212) (← links)
- An ordinal measure based procedure for termination of functions (Q5940917) (← links)
