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

Saved in:
Bibliographic Details
Meeting name:International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N.C.)
Imprint:Berlin ; New York : Springer-Verlag, c1989.
Description:vii, 578 p. : ill. ; 25 cm.
Language:English
Series:Lecture notes in computer science 355
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/972714
Hidden Bibliographic Details
Other authors / contributors:Dershowitz, Nachum
ISBN:0387510818 (U.S.)
Notes:Includes bilbiographies and index.