Rewriting techniques and applications
By: edited by Jean-Pierre Jouannaud.
Contributors: Jouannaud, Jean-Pierre.
Publisher: Academic
Published: 1987
Place of publication: London
Language: eng
Number of pages: 220
Subjects: Problem solving -- Data processing.; Algorithms.
Notes: 'Reprinted from the Journal of symbolic computation v.3, nos.1&2, 1987' - T.p.

Includes bibliography.