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

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