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