ABELLA Nacira

Doktorantein at Sorbonne University - SPI

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

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)