Computer Science Laboratory Sorbonne Université - CNRS UMR 7606

LIP6 supports the Pink October campaign for breast cancer awareness.

Directorio de personal

ABELLA Nacira

Postdoc - SPI

Director de investigación : Thérèse HARDIN

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

Defensa : 17/12/1999

Fecha de salida : 01/01/2000

Publicaciones 1999

1999
- N. Abella : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, thesis, defensa 17/12/1999, director de investigación Hardin, Thérèse (1999)