
Tell your friends about this item:
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science
Leo Bachmair
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science
Leo Bachmair
This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000.
282 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 28, 2000 |
ISBN13 | 9783540677789 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 282 |
Dimensions | 156 × 234 × 15 mm · 680 g |
Language | German |
Editor | Bachmair, Leo |