Thèse en cours

Sémantique topologique pour logique bybride

FR

Accès à la thèse

Triangle exclamation pleinLa soutenance a eu lieu le 09/07/2010. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Dmitry Sustretov
Direction : Patrick Blackburn
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 05/10/2005
Soutenance le 09/07/2010
Etablissement(s) : Université de Lorraine
Ecole(s) doctorale(s) : Informatique, Automatique, Electronique-Electrotechnique, Mathématiques
Partenaire(s) de recherche : Equipe de recherche : Laboratoire lorrain de Recherche en Informatique et ses Applications
Etablissement d'accueil : UNIVERSITE DE LORRAINE
Jury : Président / Présidente : Francois Lamarche
Examinateurs / Examinatrices : Patrick Blackburn, Stephane Demri, Ian Hodkinson, Monique Grandbastien
Rapporteurs / Rapporteuses : Valentin Shehtman, Michael Zakharyaschev

Mots clés

FR

Mots clés libres