François Monin

Available identifiers

zbMath Open monin.francoisMaRDI QIDQ2576569

List of research outcomes

Publication	Date of Publication	Type
On automating the extraction of programs from proofs using product types	2013-04-19	Paper
A computer checked algebraic verification of a distributed summation algorithm	2005-12-13	Paper
AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS	2005-06-22	Paper
An ordinal measure based procedure for termination of functions	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4501582	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4494365	2000-08-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: François Monin