Le moteur de recherche
des thèses françaises
Bruno Durand
IdRefMots clés
FR |
EN
Automates cellulaires
Complexité de calcul (informatique)
Turing, Machines de
Pavage (mathématiques)
Calculabilité
Fonctions calculables
Théorie des ensembles
Algorithmes
Sous-shifts
Systèmes dynamiques
Degrés Turing
Complexité paramétrée
Noyaux
Édition de graphes
Édition de contraintes
Branches
Conflict packing
Programmation par contraintes
Automate cellulaire
Reconnaissance de langages