Rewriting Techniques and Applications - 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Paperback, 1997 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1232
Release date:	2001
First published:	1997
Editors:	Hubert Comon
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	348
Edition:	1997 ed.
ISBN-13:	978-3-540-62950-4
Categories:	Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-540-62950-5
Barcode:	9783540629504

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!