Olivier Bournez
IdRefMots clés
FR |
EN
Complexité de calcul (informatique)
Automates cellulaires
Calculabilité
Réécriture, Systèmes de (informatique)
Algorithmes parallèles
Fonctions calculables
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)
Aléatoire
Systèmes dynamiques
Fonctions calculables -- Informatique