ABELLA Nacira
Forschungsleitung (Direction de recherche) : Thérèse HARDIN
Formalisation de la Théorie de la Réécriture dans le Système Coq
Verteidigung einer Doktorarbeit : 17.12.1999
Datum, an dem das LIP6 verlassen wurde : 01.01.2000Publikationen 1999
-
1999
- N. Abella : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, these, verteidigung einer doktorarbeit 17.12.1999, forschungsleitung (direction de recherche) Hardin, Thérèse (1999)