- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique

LIP6 supports the Pink October campaign for breast cancer awareness.

ABELLA Nacira

Postdoc - SPI

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