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/2000Direction de recherche : Thérèse HARDIN
Soutenance : 17/12/1999
Date de départ : 01/01/2000