Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Scientific Mediation
Our charters and commitments
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Activity reports
Valorisation
Our skills
Work with us
Software
Patents
Start-ups
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
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.
Staff directory
ABELLA Nacira
Postdoc -
SPI
Supervision
: Thérèse HARDIN
Formalisation de la Théorie de la Réécriture dans le Système Coq
Phd defence
: 12/17/1999
Departure date : 01/01/2000
1999 Publications
1999
N. Abella
: “
Formalisation de la Théorie de la Réécriture dans le Système Coq
”, thesis, phd defence 12/17/1999, supervision Hardin, Thérèse (1999)