Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Pierre Kimmel

est l'auteur d'une thèse

Calcul des tableaux Extraction de contre-modèles Formalisme Labels Logique informatique Logiques de ressources Logiques de séparation Logiques hybrides Logiques temporelles Logiques épistémiques Modélisation Méthodes formelles Preuve

Fullscreen

Calcul des tableaux Extraction de contre-modèles Formalisme Labels Logique informatique Logiques de ressources Logiques de séparation Logiques hybrides Logiques temporelles Logiques épistémiques Modélisation Méthodes formelles Preuve

Pierre Kimmel a rédigé la thèse suivante :

Extensions modales des logiques de ressources : expressivité et calculs

par Pierre Kimmel sous la direction de Didier Galmiche et de Dominique Larchey-Wendling . - Université de Lorraine

Informatique

Soutenue le 06-12-2018

Thèse soutenue

Accéder en ligne