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
          
;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
                                                                                                       
			Article révisé par les pairs
                                                  
        | Fichier importé via le DOI   | 
                 



