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
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