Term rewriting:French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993 : advanced course

Saved in:
Bibliographic Details
Corporate Authors: French Spring School of Theoretical Computer Science (1993 Font Romeu)
Group Author: Comon Hubert.; Jouannaud Jean-Pierre.
Published: Springer Verlag,
Publisher Address: Berlin
Publication Dates: c1995.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 909
Subjects:
Carrier Form: viii, 221 p.: ill. ; 24 cm.
ISBN: 3540593403 (Berlin : acid-free paper)
Index Number: TP301
CLC: TP301-532
Call Number: TP301-532/F876/1993/
Contents: Includes bibliographical references.