par Brihaye, Thomas;Geeraerts, Gilles ;Haddad, Axel;Lefaucheux, Engel;Monmege, Benjamin
Référence Logical methods in computer science, 18, 3, page (17:1-17:51)
Publication Publié, 2022
Article révisé par les pairs
Fichier importé via le DOI