Le moteur de recherche
des thèses françaises
Marc Zeitoun
IdRefMots clés
FR |
EN
Théorie des automates mathématiques
Méthodes formelles
Théorie des jeux
Automates
Monoïdes
Langages rationnels
Séparation (informatique)
Logique
Langages formels
Structures de données (informatique)
Jeux stochastiques
Processus stochastiques
Décidabilité (logique mathématique)
Coloration de graphe
Graphe planaire
Méthode de déchargement
Langage régulier
Séparation de langages
Coloriage de graphes
Graphes planaires