Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Mounira
Kourjieh
IdRef
Mots clés
FR
Protocoles cryptographiques
Protocoles de vote électronique
Procédures de décision
Primitives algébriques
Systèmes de constraintes
Clauses de premier ordre
Résolution
Saturation
Pi calcul appliqué
Cryptographie
Authentification
Logique du premier ordre
Déduction (logique)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)