Rsolution d'quations dans les langages d'ordre 1; 2 (1976)

by G Huet
Venue:Thse d'Etat, Universit Paris 7