33981 articles – 26806 Notices  [english version]
.:. Consultation > Par auteur > Ait-Mohamed .:.
1 document

fulltext access Vérification de l'équivalence du $\pi$-calcul dans HOL
Ait-Mohamed O.
N° RR-2412 (1994) [inria-00074263 - version 1]