par Exibard, Leo
;Filiot, Emmanuel
;Reynier, Pierre-Alain ![](/vufind/images/ULB/publications_list.png)
Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-01-01
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-01-01
Article révisé par les pairs