Le moteur de recherche
des thèses françaises
Véronique Terrier
IdRefMots clés
FR |
EN
Automates cellulaires
Complexité de calcul (informatique)
Systèmes dynamiques
Algorithmes parallèles
Algorithmes
Fonctions calculables -- Informatique
Modèle de calcul parallèle et local
Temps-réel
Complexité descrptive
Logique du second ordre existentiel
Formules de Horn
Programmation logique
Induction (mathématiques)
Grammaire algébrique
Grammaires conjonctives
Temps réel
Langages
Temps réel (informatique)
Théorie des graphes
Automates cellulaires de majorité