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
Révision précédente
Prochaine révision Les deux révisions suivantes
fr:research:ploopc [2018/02/16 01:25]
127.0.0.1 modification externe
fr:research:ploopc [2018/03/29 15:47]
apeiron
Ligne 1: Ligne 1:
-FIXME **Cette page n'est pas encore traduite entièrement.** +**An Imperative Language Characterizing PTIME Algorithms** (Yoann Marquer, Pierre Valarcher) est un article directement issu de [[fr:​research:​thesis-defense|mes travaux de thèse]], et qui a été publié en 2016 dans Developments in Implicit Computational Complexity, volume 3, pages 91 - 130
- +
-====== Title ====== +
- +
-An Imperative Language Characterizing PTIME Algorithms+
  
 ====== Abstract ====== ====== Abstract ======
Ligne 11: Ligne 7:
 **Keywords**:​ ASM, computability,​ imperative language, implicit complexity, polynomial time, sequential algorithms, simulation. **Keywords**:​ ASM, computability,​ imperative language, implicit complexity, polynomial time, sequential algorithms, simulation.
  
-====== ​Links ======+====== ​Versions ​======
  
 Here is the {{:​en:​research:​ploopc2.pdf|submitted version}}. Here is the {{:​en:​research:​ploopc2.pdf|submitted version}}.