Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
fr:research:thesis-defense [2016/03/23 13:55] apeiron |
fr:research:thesis-defense [2016/12/16 15:27] apeiron |
||
|---|---|---|---|
| Ligne 3: | Ligne 3: | ||
| **Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial** | **Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial** | ||
| - | Voici {{:manuscrit-these.pdf|le manuscrit}} de thèse. | + | Les rapporteurs ayant examiné mon manuscrit sont : |
| + | * Patrick Baillot, directeur de recherche au CNRS | ||
| + | * Gilles Dowek, directeur de recherche à INRIA | ||
| + | * Daniel Leivant, professeur à l'Indiana University Bloomington | ||
| + | |||
| + | Voici {{:manuscrit-these.pdf|la version finale}}. | ||
| ====== Résumé ====== | ====== Résumé ====== | ||