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