Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985Jouannaud, Jean-Pierre Jouannaud, Jean-PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
|
2 |
Material Type: Livro
|
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 ProceedingsLescanne, Pierre Lescanne, PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 ProceedingsComon, Hubert Comon, HubertBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
5 |
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 |
|
6 |
Material Type: Livro
|
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 ProceedingsBachmair, Leo Bachmair, LeoBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
7 |
Material Type: Livro
|
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 ProceedingsTison, Sophie Tison, SophieBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
8 |
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 |
|
9 |
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. |
|
10 |
Material Type: Livro
|
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, ProceedingsOostrom, Vincent van van Oostrom, VincentBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |