Mathieu Hoyrup 1AuthorPersonId : 1070 IdHAL : mathieu-hoyrupIdRef : 127167226
Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | INRIA | INRIA-MECSCI | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-FM