Systèmes de preuve pour l'inclusion de langages de mots infinis

par Émile Hazard-louedec (Hazard)

Projet de thèse en Informatique

Sous la direction de Damien Pous.

Thèses en préparation à Lyon , dans le cadre de École doctorale en Informatique et Mathématiques de Lyon , en partenariat avec École normale supérieure de Lyon (2010-...) (établissement opérateur d'inscription) et de Laboratoire de l'informatique du parallélisme (Lyon) (laboratoire) depuis le 01-10-2019 .


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


  • Pas de résumé disponible.