ABELLA Nacira
Dirección de investigación : Thérèse HARDIN
Formalisation de la Théorie de la Réécriture dans le Système Coq
Defensa : 17/12/1999
Fecha de salida : 01/01/2000Publicaciones 1999
-
1999
- N. Abella : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, tesis, defensa 17/12/1999, dirección de investigación Hardin, Thérèse (1999)