Identifiant pérenne de la notice : 123325145
Notice de type
Personne
Affiliation institutionnelle
Internet, https://www.ins2i.cnrs.fr/fr/personne/damien-pous, 2024-05-27
Techniques modulo pour les bisimulations faibles / Damien Pous ; sous la direction
de Daniel Hirschkoff et Pierre Lescane [thèse]