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