Généralisation des jeux combinatoires et applications aux langages logiques
FR |
EN
Auteur / Autrice : | Jean-Vincent Loddo |
Direction : | Roberto Di Cosmo |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2002 |
Etablissement(s) : | Paris 7 |