Le moteur de recherche
des thèses françaises
Enrico Formenti
IdRefMots clés
FR |
EN
Automates cellulaires
Systèmes dynamiques
Complexité
Complexité de calcul (informatique)
Systèmes dynamiques discrets
Modèles de calcul
Simulation
Langages formels
Calculabilité
Calcul à temps infini
Machines de Turing
Ordinaux horlogeables
Ordinaux écrivables
Ordinaux admissibles
Calculs numériques
Nombres ordinaux
Théorie des graphes
Réversibilité
Graphes dynamiques
Sous-shift