Marc Zeitoun
IdRefMots clés
FR |
EN
Théorie des automates mathématiques
Automates
Théorie des jeux
Monoïdes
Séparation (informatique)
Langages rationnels
Méthodes formelles
Décidabilité (logique mathématique)
Logique
Langages formels
Structures de données (informatique)
Complexité algorithmique
Minorants
Nečiporuk
Programmes sur monoïdes
Da
J
Complexité de calcul (informatique)
Jeux stochastiques
Processus stochastiques