Étienne Miquey 1, 2, 3AuthorPersonId : 6597 Employer institution: Université Paris Diderot - Paris 7IdHAL : emiquey
Computer Science [cs] / Logic in Computer Science [cs.LO]
UNIV-PARIS7 | PPS | CNRS | INRIA | INRIA2 | UNIV-PARIS