Anna Ingólfsdóttir

Explorer les logiques modales, la récursion, et leur rôle dans les systèmes de connaissance et de croyance.

Le déclin de la recherche sur le SOS amène à se pencher sur ses perspectives d'avenir.

Un aperçu des calculs de processus nominaux et de leur importance en informatique.

Un aperçu des méthodes de test basé sur des modèles pour la vérification des systèmes.

Cet article parle du rôle du non-déterminisme borné dans la gestion du comportement des programmes.