Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Rewriting Techniques and Applications Chapel Hill, N.C.
Other Authors: Dershowitz, Nachum
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1989]
Series:Lecture notes in computer science ; 355.
Subjects:
Description
Physical Description:vii, 578 pages : illustrations
Bibliography:Includes bibliographies and indexes.