Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
International Conference on Rewriting Techniques and Applications (12th. 2001 Utrecht, Netherlands) Aart Middeldorp 1963-
Berlin Springer New York c2001
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2051 ) e outros locais(Acessar)