Alexis Bès 1Author
Mathematics [math] / Logic [math.LO] Computer Science [cs] / Logic in Computer Science [cs.LO]
UPEC-UPEM | CNRS | LACL | INSMI | UPEC