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)