Jean Goubault-Larrecq 1 AuthorId : 100411 Author IdHAL : jean-goubault-larrecq ORCID : https://orcid.org/0000-0001-5879-3304
Monika Seisenberger AuthorId : 11278687 Author
Victor Selivanov AuthorId : 265782 Author
Andreas Weiermann AuthorId : 230253 Author
Computer Science [cs] / Logic in Computer Science [cs.LO] Mathematics [math] / General Mathematics [math.GM]
INSMI | CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE | UNIV-PARIS-SACLAY