Résultats 1 à 2

Dates d'inscription :


Etablissements :

Valider et fermer
  • Lyon (2)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1)
  • Physique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale de Physique et Astrophysique de Lyon (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)

Ecoles Doctorales :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Baillot Patrick (1)
  • Volk Romain (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1)
  • Physique (1)

Domaines :

Fullscreen

2 thèses

Systèmes de types pour la complexité implicite

par Alexis Ghyselen sous la direction de Patrick Baillot - Lyon

Informatique

En préparation depuis le 01-09-2018
 thèse en cours de préparation
Physique

En préparation depuis le 01-10-2018
 thèse en cours de préparation

Résultats 1 à 2