Pierre-Marie Pédrot 1, 2 AuthorId : 808824 Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : pierre-marie-pedrot
Computer Science [cs] Computer Science [cs] / Logic in Computer Science [cs.LO]
EC-NANTES | UNAM | INRIA | LS2N | UNIV-NANTES | CNRS | INSTITUT-TELECOM | LS2N-GALLINETTE