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

Fabian Reiter

est l'auteur d'une thèse

Algorithmes distribués Algorithmes parallèles Automates mathématiques, Théorie des Graphes, Théorie des Logique monadique du second ordre Modalité

Fullscreen

Algorithmes distribués Algorithmes parallèles Automates mathématiques, Théorie des Graphes, Théorie des Logique monadique du second ordre Modalité

Fabian Reiter a rédigé la thèse suivante :

Distributed automata and logic

par Fabian Reiter sous la direction de Olivier Carton - Sorbonne Paris Cité

Informatique

Soutenue le 12-12-2017

Thèse soutenue

Accéder en ligne