Le moteur de recherche
des thèses françaises
Anca Muscholl
IdRefMots clés
FR |
EN
Langages formels
Théorie des automates mathématiques
Automates
Transducteurs
Structures de données (informatique)
Vérification
Systèmes distribués
Traitement réparti
Décidabilité (logique mathématique)
Théorie des jeux
Logique
Théorie de la définissabilité (mathématiques)
Synthèse
Synthèse de haut niveau (informatique)
XML (langage de balisage)
Théorie des automates
Processus stochastiques
Complexité
Théorie des machines séquentielles
Transduction