Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
René Lalement
René Lalement a dirigé les 3 thèses suivantes :
Contributions a la semantique de la programmation logique
par MATHIEU JAUME sous la direction de René Lalement - Marne-la-vallée, ENPC
Sciences et techniques
Soutenue en 1999
Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée
par THIERRY SALSET sous la direction de René Lalement - Marne-la-vallée, ENPC
Sciences appliquées
Soutenue en 1997
Methodologie de conception d'un systeme expert pour la generalisation cartographique
par XIAO CHUN ZHAO sous la direction de René Lalement - Marne-la-vallée, ENPC
Terre, océan, espace
Soutenue en 1990
