Knowledge Tree

researcher / Romain Péchoux

Romain Péchoux

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Analyse de la complexité des programmes par interprétation sémantique

Directed Thesis:

Sur les systèmes de formes normales pour représenter efficacement des fonctions multivaluées