ABELLA Nacira
Direction de recherche : Thérèse HARDIN
Formalisation de la Théorie de la Réécriture dans le Système Coq
Soutenance : 17/12/1999
Date de départ : 01/01/2000Publications 1999
-
1999
- N. Abella : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, thèse, soutenance 17/12/1999, direction de recherche Hardin, Thérèse (1999)