Patricia Bouyer 1 AuthorId : 257493 Author IdHAL : patricia-bouyer ORCID : https://orcid.org/0000-0002-2823-0911 arXiv : https://arxiv.org/a/bouyer_p_2
Lutz Schröder 2 AuthorId : 12683456 Author ORCID : https://orcid.org/0000-0002-3146-5906
Computer Science [cs] Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Computer Science and Game Theory [cs.GT]
CENTRALESUPELEC | INRIA | LMF | ENS-CACHAN | CNRS | UNIV-PARIS-SACLAY | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE