Rewriting techniques and applications
Subtitle: 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
By: Harald Ganzinger (ed.).
Contributors: Ganzinger, H. 1950-; International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick, N.J.)
Series: Lecture notes in computer science,; 1103
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 435
Subjects: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses
Notes: Includes bibliographical references and index.