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

Saved in:
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, c1989.
Series:Lecture notes in computer science ; 355.
Subjects:
Description
Physical Description:vii, 578 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:0387510818