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