Conditional term rewriting systems
Subtitle: 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
By: S. Kaplan, J.-P. Jouannaud, eds.
Contributors: Kaplan, S. 1961-; Jouannaud, Jean-Pierre.
Series: Lecture notes in computer science ;; 308
Publisher: Springer-Verlag
Published: 1988
Place of publication: Berlin; New York
Language: eng
Number of pages: 278
Subjects: Rewriting systems (Computer science) -- Congresses.
Notes: Includes bibliographies.