Conditional term rewriting systems
By: Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).
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