Title: Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996
Subjects: Computer programming, Rewriting systems (Computer science), Algorithms, Congresses, Electronic digital computers