ABELLA Nacira

Doktor - SPI
Datum, an dem das LIP6 verlassen wurde : 01.01.2000
https://lip6.fr/Nacira.Abella

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.2000

These

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)