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

Corporate Authors: French Spring School of Theoretical Computer Science (1993 Font Romeu)
Group Author: Comon Hubert.; Jouannaud Jean-Pierre.
Published: Springer Verlag,
Publication Dates: c1995.
Call Number: TP301-532/F876/1993/