Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987 (Lecture Notes in Computer Science)

by Pierre Lescanne Paperback details (United States). ISBN: 978-0-387-17220-0 ISBN-10: 0-387-17220-3 Springer Verlag · 1987