Term rewriting french spring school of theoretical computer science, font romeux, France, may 17-21, 1993, advanced course

French Spring School of Theoretical Computer Science (1993 Font Romeux, Fr) Hubert Comon; Jean-Pierre Jouannaud

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.909 e.1 ) e outros locais(Acessar)