Le moteur de recherche
des thèses françaises
Maurice Nivat
IdRefMots clés
FR
Sciences appliquees
Informatique, automatique theorique, systemes
Décidabilité (logique mathématique)
Théorie des machines séquentielles
Compilation (informatique)
Théorie langage
Monoïdes
Théorie des automates mathématiques
Automate
Modelisation
Synchronisation
Automaton
Finite automaton
Modeling
Synchronization
These
Mot infini
Thesis
Infinite word
Parallelisme