Term rewriting
Subtitle: French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course
By: Hubert Comon, Jean-Pierre Jouannaud, eds.
Contributors: Comon, Hubert.; Jouannaud, Jean-Pierre.
Series: Lecture notes in computer science ;; 909
Publisher: Springer Verlag; Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 221
Subjects: Computer science -- Congresses; Rewriting systems (Computer science) -- Congresses
Notes: Includes bibliographical references.