Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 1996: Proceedings (Lecture Notes in Computer Science)

by N. J.) International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick

Paperback

details (USA).

ISBN: 978-0-387-61464-9

ISBN-10: 0-387-61464-8

Springer Verlag · 1996