Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 
Subtitle: Advanced Course (Lecture Notes in Computer Science)
Contributors: Jean-Pierre Jouannaud (Editor)
Publisher: Springer-Verlag
Published: April 1995
Language: eng
Number of pages: 221
ISBN-13: 9780387593401