8481 articles  [version française]
.:. Browse > By authors > 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]