Jules Villard 1Author
Etienne Lozes 1AuthorPersonId : 169875 IdHAL : etienne-lozesORCID : 0000-0001-8505-585X
Ralf Treinen 2AuthorPersonId : 845934
Computer Science [cs] / Logic in Computer Science [cs.LO]
UNIV-PARIS7 | PPS | CNRS | ENS-CACHAN | LARA | UNIV-PARIS | ENS-PARIS-SACLAY