Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science)
Comon, Hubert [Editor]
ISBN 10: 3540629505 ISBN 13: 9783540629504
Published by Springer, 1997
Used
Paperback
From
GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 1 February 2007
This book is temporarily unavailable. We've listed similar copies below.
About this Item
Description:
Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a2568
Synopsis:
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.
The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Rewriting Techniques and Applications: 8th ...
Publisher: Springer
Publication Date: 1997
Binding: Paperback
Condition: Very Good