Code: 02092633

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092633
Price: 61.51 EUR
Availability: InStock

by Hubert Comon

Language: English
Binding: Paperback
Number of pages: 348
Publisher: Springer, Berlin, 1997
More about this

61.51 €

Low in stock at our supplier
Shipping in 13 - 16 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

LBK Realpolitik: An Archaeometric Study of Conflict and Social Structure in the Belgian Early Neolithic
79.39 €
Buy
China's Spiritual Need and Claims
45.65 €
Buy
UEber Ludwig Tiecks Leitprinzip in Der getreue Eckart und der Tannenhauser
42.62 € -1 %
Buy
Money Power
23.83 €
Buy
Catalogue of the Collections of Sir Aurel Stein in the Library of the Hungarian Academy of Sciences
37.16 €
Buy
Technologie Der Textilveredelung
94.04 €
Buy
Coral gardens and their magic
54.24 € -1 %
Buy
Alices Abenteuer im Wunderland
8.07 €
Buy
IPR - leicht gemacht
15.65 €
Buy
Risiken der Politikberatung
31.91 €
Buy
Basiswissen BGB AT - 2022
11.10 € -9 %
Buy
At the Root of Things
72.42 €
Buy
Phantasm III - Das Böse III - Lord Of The Dead, 1 Blu-ray
12.72 €
Buy
The Hand of God: A Fragment, and Other Poems
20.60 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Rewriting Techniques and Applications

Book details
Synopsis
Trending among others

You get 154 loyalty points

Book 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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

61.51 €

Full title: Rewriting Techniques and Applications
Subtitle: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Author: Hubert Comon
Language: English
Binding: Paperback
Number of pages: 348
EAN: 9783540629504
ISBN: 3540629505
ID: 02092633
Publisher: Springer, Berlin
Weight: 469 g
Dimensions: 234 × 156 × 18 mm
Published: 1997