Unification dans les M'elanges de Th'eories 'equationnelles. Th`ese de doctorat, Universit'e Paris-Sud (1990)

by Alexandre Boudet