Michael Blondin 1 AuthorId : 1377465 Author IdHAL : michael-blondin
Alain Finkel 2, 3 AuthorId : 111163 Author IdHAL : alain-finkel ORCID : https://orcid.org/0000-0003-0702-3232
Jean Goubault-Larrecq 2 AuthorId : 100411 Author IdHAL : jean-goubault-larrecq ORCID : https://orcid.org/0000-0001-5879-3304
Computer Science [cs] / Logic in Computer Science [cs.LO]
ENS-CACHAN | ENS-PARIS-SACLAY | ANR