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