par Exibard, Leo
;Filiot, Emmanuel
;Lhote, Nathan
;Reynier, Pierre-Alain 
Référence Logical methods in computer science, 18, 3, page (9:1-9:41)
Publication Publié, 2022




Référence Logical methods in computer science, 18, 3, page (9:1-9:41)
Publication Publié, 2022
Article révisé par les pairs
Fichier importé via le DOI |