Pierre Castéran

From MaRDI portal
Person:703858

Available identifiers

zbMath Open casteran.pierreMaRDI QIDQ703858

List of research outcomes





PublicationDate of PublicationType
Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.2005-01-12Paper
On-line evaluation of powers using Euclid's algorithm1996-02-01Paper
https://portal.mardi4nfdi.de/entity/Q39408171978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41715461978-01-01Paper

Research outcomes over time

This page was built for person: Pierre Castéran

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