Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: H. Ganzinger (Editor)
Publisher: Springer-Verlag
Published: July 1996
Format: Paperback
ISBN-13: 9780387614649
Subjects: Programming - General; Algorithms (Computer Programming); Computers; Algorithms; Computer programming; Congresses; Rewriting systems (Computer sc; Rewriting systems (Computer science); Computer Books: Languages