34246 articles – 26869 Notices  [english version]
.:. Consultation > Par auteur > Amerkad .:.
1 document

fulltext access Mathematics and Proof Presentation in Pcoq
Amerkad A., Bertot Y., Pottier L., Rideau L.
N° RR-4313 (2001) [inria-00072274 - version 1]