Le moteur de recherche
des thèses françaises
Olivier Bournez
IdRefMots clés
FR |
EN
Complexité de calcul (informatique)
Fonctions calculables
Calculabilité
Automates cellulaires
Systèmes dynamiques
Nombres réels
Machines à signaux
Géométrie -- Informatique
Logique informatique
Systèmes de réécriture (informatique)
Algorithmes parallèles
Machines de Turing
Analyse numérique
Calcul analogique
Mathématiques à rebours
Théorie de Ramsey
Topologie
Réécriture
Stratégies
Terminaison