Beniamino Accattoli 1 AuthorId : 532851 Author IdHAL : beniamino-accattoli ORCID : https://orcid.org/0000-0003-4944-9944
Stéphane Graham-Lengrand 2 AuthorId : 951389 Author Employer institution : Centre National de la Recherche Scientifique IdHAL : graham-lengrand arXiv : https://arxiv.org/a/graham-lengrand@lix.polytechnique.fr
Delia Kesner 3 AuthorId : 182424 Author
Computer Science [cs] / Logic in Computer Science [cs.LO]
LIX | X-LIX | X | X-DEP-INFO | CNRS | UP-SCIENCES | IP_PARIS | UNIV-PARIS | INRIA