ABELLA Nacira
Supervision : Thérèse HARDIN
Formalisation de la Théorie de la Réécriture dans le Système Coq
Defence : 12/17/1999
Departure date : 01/01/20001999 Publications
-
1999
- N. Abella : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, thesis, phd defence 12/17/1999, supervision Hardin, Thérèse (1999)