Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Xiao Xu

est l'auteur d'une thèse

Alphabets Infinis Alternance Alternance de codes Vide Vérification Vérification de modèles

Fullscreen

Alphabets Infinis Alternance Alternance de codes Vide Vérification Vérification de modèles

Xiao Xu a rédigé la thèse suivante :

Généralisation d'automates alternatifs sur des alphabets infinis

par Xiao Xu sous la direction de Radu Iosif et de Susanne Graf . - Université Grenoble Alpes

Mathématiques et Informatique

Soutenue le 27-01-2020

Thèse soutenue

Accéder en ligne