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

Editor Hubert Comon

Springer | June 13, 1997 | Trade Paperback

Not yet rated | write a review
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.

Format: Trade Paperback

Dimensions: 360 pages, 9.25 × 6.1 × 0 in

Published: June 13, 1997

Publisher: Springer

The following ISBNs are associated with this title:

ISBN - 10: 3540629505

ISBN - 13: 9783540629504

save
5%

In Stock Hurry, only 100 left! Not yet released

$94.50  ea

Online Price

$94.50 List Price

or, Used from $30.25

eGift this item

Give this item in the form of an eGift Card.

+ what is this?

This item is eligible for FREE SHIPPING on orders over $25.
See details

Easy, FREE returns. See details

Item can only be shipped in Canada

Downloads instantly to your kobo or other ereading device. See details

All available formats:

Reviews

– More About This Product –

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

Editor Hubert Comon

Format: Trade Paperback

Dimensions: 360 pages, 9.25 × 6.1 × 0 in

Published: June 13, 1997

Publisher: Springer

The following ISBNs are associated with this title:

ISBN - 10: 3540629505

ISBN - 13: 9783540629504

From the Publisher

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.
Item not added

This item is not available to order at this time.

See used copies from 00.00
  • My Gift List
  • My Wish List
  • Shopping Cart