Philippe Balbiani
IdRefMots clés
FR |
EN
Logique épistémique
Modalité (logique)
Décidabilité (logique mathématique)
Décidabilité
Procédures de décision
Composition de services
Logique modale
Complexité
Logiques de séparation
Structures orthogonales
Logique des annonces publiques
Annonces asynchrones
Réseaux sociaux (Internet)
Publicité sur Internet
Logique informatique
Protocoles cryptographiques
Protocoles de vote électronique
Primitives algébriques
Systèmes de constraintes
Clauses de premier ordre