Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedingsInternational Conference on Rewriting Techniques and Applications (18th 2007 Paris, France) Franz BaaderBerlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4533 )(Acessar) |
|
2 |
Material Type: Livro
|
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedingsInternational Conference on Rewriting Techniques and Applications (16th 2005 Nara-ken, Japan) Jürgen GieslBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthdayJan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de VrijerBerlin u.a. Springer 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3838 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedingsInternational Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany) Vincent van Oostrom 1966Berlin Springer New York, NY c2004Acesso online. A biblioteca também possui exemplares impressos. |