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 [2018/03/29 15:31] apeiron |
fr:research:thesis-defense [2018/03/29 15:40] apeiron |
||
|---|---|---|---|
| Ligne 39: | Ligne 39: | ||
| ====== Publications ====== | ====== Publications ====== | ||
| + | |||
| + | Ce travail de thèse a donné lieu à deux publications : | ||
| + | * [[fr:research:fi-while|Algorithmic Completeness of Imperative Programming Languages]] (Yoann Marquer), accepté par Fundamenta Informaticae en 2016 | ||
| + | * [[fr:research:ploopc|Imperative Characterization of Polynomial Time Algorithms]] (Yoann Marquer, Pierre Valarcher), publié en 2016 dans Developments in Implicit Computational Complexity, volume 3, pages 91 - 130 | ||