Rewriting techniques and applications 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark) Sophie Tison
Berlin Springer New York c2002
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2378 ) e outros locais(Acessar)