Le moteur de recherche
des thèses françaises
Pascal Weil
IdRefMots clés
FR |
EN
Langages formels
Automates
Groupes d'automorphismes
Théorie des automates mathématiques
Langages rationnels
Théorie des jeux
Synthèse de programmes
Vérification de programmes
Automate d'arbres
Jeu de parité
Jeu distribué
Système distribué
Systèmes à paramètres répartis
Automates de Mealy
Problèmes de décision
Génération aléatoire
Semigroupes
Transductions rationnelles
Problème de Burnside
Groupes simples finis