Olivier Hermant 1, 2 AuthorId : 819960 Author IdHAL : olivier-hermant ORCID : https://orcid.org/0000-0001-6233-1903
Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Symbolic Computation [cs.SC]
ENSMP | ENSMP_CRI | PARISTECH | INSTITUT-TELECOM | PSL