Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Wolfgang
Thomas
IdRef
Mots clés
FR
|
EN
Logique monadique du second ordre
Algorithmes distribués
Théorie des automates mathématiques
Algorithmes parallèles
Modalité (logique)
Théorie des graphes
Théorie des jeux
Processus stochastiques
Systèmes ouverts (informatique)
Liste des thèses par rôle
Directeur / Directrice de 1 thèse(s)
Rapporteur / Rapporteuse pour 1 thèse(s)
Examinateur / Examinatrice pour 1 thèse(s)