Le moteur de recherche
des thèses françaises
Olivier Carton
IdRefMots clés
FR |
EN
Théorie des automates mathématiques
Langages formels
Automates
Transducteurs
Théorie des jeux
Logique
Complexité de calcul (informatique)
Méthodes formelles (informatique)
Semigroupes
Markov, Processus de
Transduction
Transducteur unidirectionnel et bidirectionnel
SST
Transduction MSO
Théorie de la définissabilité (mathématiques)
Logique du premier ordre
Logique monadique du second ordre
Algorithmes distribués
Algorithmes parallèles
Modalité (logique)