Loïc Paulevé 1 AuthorId : 899258 Author IdHAL : loic-pauleve ORCID : https://orcid.org/0000-0002-7219-2027
Philippe Dague 2, 3 AuthorId : 661349 Author IdHAL : philippe-dague ORCID : https://orcid.org/0000-0003-1679-0804
Computer Science [cs] / Bioinformatics [q-bio.QM] Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Formal Languages and Automata Theory [cs.FL] Computer Science [cs] / Artificial Intelligence [cs.AI]
CNRS | LRI-BIOINFO | INRIA | CENTRALESUPELEC | UMR8623 | UNIV-PARIS-SACLAY | GS-COMPUTER-SCIENCE | LISN | LISN-BIOINFO | GS-ENGINEERING | INRIA2