Contributions à l'extraction et à la représentation des ... - HAL Thèses
... mgk(r1) = mgk(r) (cf. Lemme 1), ce qui prouve que r1 est dérivable de r. Autrement dit, toute règle associative de RE+ peut être dérivée de la base BE+. (ii) ... 
Autres Cours:
