par Filiot, Emmanuel
;Gauwin, Olivier;Lhote, Nathan ![](/vufind/images/ULB/publications_list.png)
Référence Logical methods in computer science, 15, 4, page (16:1-16:42)
Publication Publié, 2019-10-01
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
Référence Logical methods in computer science, 15, 4, page (16:1-16:42)
Publication Publié, 2019-10-01
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur |