Guillaume Melquiond 1 AuthorId : 739835 Author IdHAL : guillaume-melquiond
Computer Science [cs] / Computer Arithmetic Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | CENTRALESUPELEC | INRIA | UMR8623 | LRI-VALS