ABELLA Nacira

Dottore di ricerca - SPI
Data di partenza : 01/01/2000
https://lip6.fr/Nacira.Abella

Relatore : Thérèse HARDIN

Formalisation de la Théorie de la Réécriture dans le Système Coq

Difesa : 12/17/1999

Data di partenza : 01/01/2000

Pubblicazioni 1999