René David


René David a dirigé les 10 thèses suivantes :

Informatique et mathématiques
Soutenue en 2007
Thèse soutenue

Logique mathématique
Soutenue en 2006
Thèse soutenue

Informatique et mathématiques
Soutenue en 2005
Thèse soutenue

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Sciences appliquées
Soutenue en 1999
Thèse soutenue

Confluence en -calcul

par Walter Py sous la direction de René David - Chambéry

Sciences et techniques
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1995
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue