Jean Goubault-Larrecq 1 AuthorId : 100411 Author IdHAL : jean-goubault-larrecq ORCID : https://orcid.org/0000-0001-5879-3304
Slawomir Lasota 1, 2 AuthorId : 780227 Author
David Nowak 1 AuthorId : 100490 Author IdHAL : davidnowak
Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | UNIV-PARIS-SACLAY