Guillaume Theyssier
IdRefMots clés
FR |
EN
Automates cellulaires
Dynamique symbolique
Pavages
Problème du domino
Substitutions
Pavage (mathématiques)
.
Complexité de communication,
Circuits
Parallélisme
Décidabilité
Conjecture de Nivat
Complexité de motifs
Groupes
Sous-décalages de type fini
Décidabilité (logique mathématique)
Invariants
Systèmes dynamiques
Automates cellulaires captifs
Algorithmes