Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 ProceedingsBook, Ronald V Book, Ronald V.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
2 |
Material Type: Livro
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (5. 1993 Montreal) Claude KirchnerBerlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.690 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 ProceedingsKirchner, Claude Kirchner, ClaudeBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
4 |
Material Type: Livro
|
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedingsTobias Nipkow 1958-; International Conference on Rewriting Techniques and Applications (9th 1998 Tsukuba-shi, Japan)Berlin Springer New York 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1379 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Vincent van OostromSpringer Berlin / Heidelberg 2004Acesso online |
|
6 |
Material Type: Livro
|
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 ProceedingsDershowitz, Nachum Dershowitz, NachumBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
7 |
Material Type: Livro
|
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 ProceedingsHsiang, Jieh Hsiang, JiehBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
8 |
Material Type: Livro
|
Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 ProceedingsNarendran, Paliath ; Rusinowitch, Michael Narendran, Paliath ; Rusinowitch, MichaelBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |
|
9 |
Material Type: Livro
|
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 ProceedingsGanzinger, Harald Ganzinger, HaraldBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
10 |
Material Type: Livro
|
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, ProceedingsNieuwenhuis, Robert Nieuwenhuis, RobertBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |