Véronique Terrier
IdRefMots clés
FR |
EN
Automates cellulaires
Complexité de calcul (informatique)
Algorithmes parallèles
Systèmes dynamiques
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)
Ensemble mu-limite
Dynamique directionnelle
Sous-shifts