Théorie des algorithmes : machines, complétude, axiomatisation et contraintes physiques
FR
| Auteur / Autrice : | Aurélien Quetron |
| Direction : | Patrick Cegielski, Julien Cervelle |
| Type : | Projet de thèse |
| Discipline(s) : | Informatique |
| Date : | Inscription en doctorat le 14/02/2013 |
| Etablissement(s) : | Paris Est |
| Ecole(s) doctorale(s) : | MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication |
| Partenaire(s) de recherche : | Laboratoire : LACL - Laboratoire d'Algorithmique, Complexité et Logique |