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
| Titre: |
|
| Auteur: | Exibard, Leo; Filiot, Emmanuel; Reynier, Pierre-Alain |
| Informations sur la publication: | Logical methods in computer science, 17, 1 |
| Statut de publication: | Publié, 2021-01-01 |
| Sujet CREF: | Sciences exactes et naturelles |
| Langue: | Français |
| Identificateurs: | urn:issn:1860-5974 |
