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:35] apeiron [Publications] |
fr:research:thesis-defense [2018/03/29 15:40] apeiron |
||
|---|---|---|---|
| Ligne 41: | Ligne 41: | ||
| Ce travail de thèse a donné lieu à deux 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 | + | * [[fr:research:fi-while|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 | + | * [[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 |