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

Sergueï Lenglet

est l'auteur d'une thèse

Bisimulations Calculs d'ordre supérieur Circuits intégrés -- Passivation Méthode de Howe Preuves de congruence

Fullscreen

Bisimulations Calculs d'ordre supérieur Circuits intégrés -- Passivation Méthode de Howe Preuves de congruence

Sergueï Lenglet a rédigé la thèse suivante :

Bisimulations dans les calculs avec passivation

par Sergueï Lenglet sous la direction de Jean-Bernard Stefani et de Alan Schmitt . - Grenoble

Informatique

Soutenue en 2010

Thèse soutenue