Identifiant pérenne de la notice : 245920196
Notice de type
Notice de regroupement
Note publique d'information : Dans la première partie de cette thèse, la vérification de propriétés booléennes monotones
de variables booléennes dans un environnement avec erreurs est étudiée. La deuxième
partie concerne surtout le calcul de la taille maximale moyenne de structures de données
dynamiques