Olivier Bournez
Mots clés
FR |
EN
Complexité de calcul (informatique)
Automates cellulaires
Machines à signaux
Géométrie -- Informatique
Calculabilité
Réécriture, Systèmes de (informatique)
Algorithmes parallèles
Fonctions calculables
Calcul analogique
Réécriture
Stratégies
Terminaison
Terminaison en temps moyen fini
Terminaison presque sûre
Terminaison presque sûre positive
Choix non-déterministes
Choix aléatoires
Réécriture probabiliste
Méthodes formelles
IEEE 802.11 (norme)