Le moteur de recherche
des thèses françaises
Nicolas Ollinger
IdRefMots clés
FR |
EN
Automates cellulaires
Décidabilité (logique mathématique)
Pavage (mathématiques)
Invariants
Algorithmes
Universalité
Dynamique symbolique
Calculabilité
Tuiles de Wang
Jeux de tuiles déterministes
Problème du pavage
Indécidabilité
Substitutions
Soficité
Particules et collisions
Coloriage (mathématiques)
Permutations (mathématiques)
Temps réel
Langages
Complexité de calcul (informatique)