Thèse en cours

Théorie des algorithmes : machines, complétude, axiomatisation et contraintes physiques

FR
Auteur / Autrice : Aurélien Quetron
Direction : Patrick CegielskiJulien 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