Filtrer vos résultats
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 résultat
|
|
triés par
|
|
Vérification de l'équivalence du $\pi$-calcul dans HOL[Rapport de recherche] RR-2412, INRIA. 1994
Rapport
inria-00074263v1
|