par Exibard, Leo
;Filiot, Emmanuel
;Reynier, Pierre-Alain 
Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-01-01
;Filiot, Emmanuel
;Reynier, Pierre-Alain 
Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-01-01
Article révisé par les pairs
| Fichier(s) déposé(s) par l'encodeur |



