Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993: Advanced Course (Lecture Notes in Computer Science)

by Hubert Comon Paperback details (USA). ISBN: 978-0-387-59340-1 ISBN-10: 0-387-59340-3 Springer Verlag · 1995