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
Structures orthogonales
Logique des annonces publiques
Annonces asynchrones
Réseaux sociaux (Internet)
Publicité sur Internet
Complexité
Logiques de séparation
Logique informatique
Protocoles cryptographiques
Protocoles de vote électronique
Primitives algébriques
Systèmes de constraintes
Clauses de premier ordre