Laurent Doyen
IdRefMots clés
FR |
EN
Théorie des jeux
Décidabilité (logique mathématique)
Information imparfaite
Complexité
Jeux à somme nulle
Jeux
Synthèse distribuée
Calculabilité
Systèmes dynamiques
Sémantique selon la théorie des jeux
Fonctions calculables -- Informatique
Synthèse de contrôleurs
Jeux sur graphes
Détermination à mémoire finie
Langages oméga-Réguliers
Automates sur les mots infinis
Théorie des machines séquentielles
Langages rationnels
Bridge
Complexité de calcul (informatique)