Anca Muscholl
IdRefMots clés
FR |
EN
Langages formels
Transducteurs
Théorie des automates mathématiques
Automates
Théorie des jeux
Logique
Structures de données (informatique)
Vérification
Théorie de la définissabilité (mathématiques)
Synthèse
Synthèse de haut niveau (informatique)
XML (langage de balisage)
Systèmes distribués
Traitement réparti
Décidabilité (logique mathématique)
Théorie des automates
Processus stochastiques
Complexité
Transduction
Transducteur unidirectionnel et bidirectionnel