LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

ABELLA Nacira

PhD graduated - SPI
Departure date : 01/01/2000
Supervision : Thérèse HARDIN

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

Defence : 12/17/1999

1999 Publications

 Mentions légales
Site map |