Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Arnaud Carayol a rédigé la thèse suivante :
Automates infinis, logique et langages
par Arnaud Carayol sous la direction de Didier Caucal - Rennes 1
Informatique
Soutenue en 2006
Arnaud Carayol a dirigé la thèse suivante :
Shape-Preserving Transformations of Higher-Order Recursion Schemes
par Axel Haddad sous la direction de Olivier Serre et de Arnaud Carayol . - Paris 7
Informatique
Soutenue en 2013
Arnaud Carayol a été membre de jury de la thèse suivante :
On the infinitary proof theory of logics with fixed points
par Amina Doumane sous la direction de Pierre-Louis Curien , Alexis Saurin et de David Baelde . - Sorbonne Paris Cité
Informatique. Informatique fondamentale
Soutenue le 27-06-2017
