Conditional term rewriting systems
Subtitle: proceedings ; M. Rusinowitch, J.L. Rémy (eds.).
By: Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 :
Contributors: Rusinowitch, M; Rémy, J. L.
Series: Lecture notes in computer science -- 656
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 501
Subjects: Rewriting systems (Computer science) -- Congresses.