Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
fr:research:thesis-defense [2018/03/29 15:35]
apeiron [Publications]
fr:research:thesis-defense [2018/03/29 15:40] (Version actuelle)
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