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

par Aurélien Quetron

Projet de thèse en Informatique

Sous la direction de Patrick Cegielski et de Julien Cervelle.

Thèses en préparation à Paris Est , dans le cadre de MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec LACL - Laboratoire d'Algorithmique, Complexité et Logique (laboratoire) depuis le 14-02-2013 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.