This thesis has been submitted in fulfilment of the ... - ERA
L--O or L--1 is given by a 4-tuple. S. <V,A,L,C> where V = variable symbols ... union( E 1 , 62) . defnoton(E 1) A defnoton( Ed subtract( E1, 62. (defnoton(. E1. ) ... 
Autres Cours:
