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

Patrick Gardy

est l'auteur d'une thèse

Formalisme Méthodes formelles Méthodes formelles Theorie des jeux Théorie des jeux Vérification formelle

Fullscreen

Formalisme Méthodes formelles Méthodes formelles Theorie des jeux Théorie des jeux Vérification formelle

Patrick Gardy a rédigé la thèse suivante :

Semantics of Strategy Logic

par Patrick Gardy sous la direction de Patricia Bouyer-Decitre et de Nicolas Markey . - Université Paris-Saclay (ComUE)

Mathématiques et Informatique

Soutenue le 12-06-2017

Thèse soutenue

Accéder en ligne