Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Rewriting Techniques and Applications - 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Paperback, 1997 ed.)
Loot Price: R1,721
Discovery Miles 17 210
|
|
Rewriting Techniques and Applications - 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Paperback, 1997 ed.)
Series: Lecture Notes in Computer Science, 1232
Expected to ship within 10 - 15 working days
|
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.