33869 articles – 26719 Notices  [english version]
.:. Consultation > Par auteur > Audebaud .:.
2 documents classés par :

fulltext access Proofs of randomized algorithms in Coq
Audebaud P., Paulin-Mohring C.
Science of Computer Programming (2009) [inria-00431771 - version 1]
fulltext access Toward a geometric view on computations
Audebaud P.
N° RR-5492 (2005) [inria-00070515 - version 1]