par Bertrand, Nathalie;Bouyer, Patricia;Majumdar, Anirban
Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-03-18
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur