Connexion
Retour à l'accueil
  • Toutes les thèses
  • Thèses en préparation
  • Personnes
  • Organismes
Désactiver l'autocomplétion Activer l'autocomplétion






Effacer

Recherche avancée
Uniquement les thèses en préparation dont la soutenance est prévue dans les 6 prochains mois
Uniquement les personnes en lien avec une thèse soutenue ou en préparation depuis moins de 5 ans
Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne
SIGNALER une erreur

personne précédente
personne suivante

Clovis Eberhart

est l'auteur d'une thèse

Langages concurrents  Langages de programmation  Modèles mathématiques  Sémantiques de jeux  Sémantiques dénotationnelles  
Fullscreen

Langages concurrents  Langages de programmation  Modèles mathématiques  Sémantiques de jeux  Sémantiques dénotationnelles  

Clovis Eberhart a rédigé la thèse suivante :

Catégories et diagrammes de cordes pour les jeux concurrents

par Clovis Eberhart sous la direction de Tom Hirschowitz - Université Grenoble Alpes (ComUE)

Mathématiques et informatique
Soutenue le 22-06-2018
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales