Rewriting techniques and applications
Subtitle: Dijon, France, May 20-22, 1985
By: edited by Jean-Pierre Jouannaud.
Contributors: Jouannaud, Jean-Pierre.; International Conference on Rewriting Techniques and Applications (1st : 1985 : Dijon, France)
Series: Lecture notes in computer science ;; 202
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 440
Subjects: Computer programming -- Congresses.; Computer algorithms -- Congresses.; Rewriting systems (Computer science) -- Congresses.
Notes: Includes bibliographies.
Papers presented at the First International Conference on Rewriting Techniques and Applications, held in Dijon, Burgundy, France, May 20-22, 1985.