Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Programmes et Équipements Prioritaires de Recherche
Laboratoires Communs
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Emplois
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Annuaire
ABELLA Nacira
Doctorante à Sorbonne Université -
SPI
Direction de recherche
: Thérèse HARDIN
Formalisation de la Théorie de la Réécriture dans le Système Coq
Soutenance
: 17/12/1999
Date de départ : 01/01/2000
Publications 1999
Soutenance de thèse
1999
N. Abella
: “
Formalisation de la Théorie de la Réécriture dans le Système Coq
”, soutenance de thèse, soutenance 17/12/1999, direction de recherche Hardin, Thérèse (1999)