François Monin

From MaRDI portal
Revision as of 01:17, 9 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page François Monin to François Monin: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2576569

Available identifiers

zbMath Open monin.francoisMaRDI QIDQ2576569

List of research outcomes





PublicationDate of PublicationType
On automating the extraction of programs from proofs using product types2013-04-19Paper
A computer checked algebraic verification of a distributed summation algorithm2005-12-13Paper
AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS2005-06-22Paper
An ordinal measure based procedure for termination of functions2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q45015822000-09-04Paper
https://portal.mardi4nfdi.de/entity/Q44943652000-08-10Paper

Research outcomes over time

This page was built for person: François Monin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2576569&oldid=10469934"
Powered by MediaWiki