Emmanuel Jeandel 1 AuthorId : 811899 Author IdHAL : emmanuel-jeandel
Computer Science [cs] / Discrete Mathematics [cs.DM] Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | TDS-MACS | INRIA | LORIA-FM | LORIA | UNIV-LORRAINE