Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Sabine
Frittella
IdRef
Mots clés
FR
|
EN
Logique modale monotone
Théorie de la correspondance
Treillis
Théorie des preuves
Display calculs
Logiques epistemiques
Pdl
Modalité (logique)
Théorie des ensembles
Sémantique formelle
Workflows
Automates
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)
Directeur / Directrice de 1 thèse(s)