Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science (1232))

0 avg rating
( 0 ratings by Goodreads )
 
9783540629504: Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science (1232))
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

Stock Image

1.

Published by Springer (1997)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New Softcover Quantity available: 1
Seller:
BennettBooksLtd
(San Diego, CA, U.S.A.)

Book Description Springer, 1997. Condition: New. New. Seller Inventory # Q-3540629505

More information about this seller | Contact this seller

Buy New
US$ 74.28
Convert currency

Add to Basket

Shipping: US$ 4.95
Within U.S.A.
Destination, rates & speeds
Stock Image

2.

Hubert Comon
Published by Springer (1997)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New PAP Quantity available: 15
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)

Book Description Springer, 1997. PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540629504

More information about this seller | Contact this seller

Buy New
US$ 100.10
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

3.

Comon, Hubert
Published by Springer 1997-05 (1997)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New PF Quantity available: 1
Seller:
Chiron Media
(Wallingford, United Kingdom)

Book Description Springer 1997-05, 1997. PF. Condition: New. Seller Inventory # 6666-LSI-9783540629504

More information about this seller | Contact this seller

Buy New
US$ 90.62
Convert currency

Add to Basket

Shipping: US$ 20.89
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

4.

Comon, Hubert
Published by Springer (2017)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New Paperback Quantity available: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)

Book Description Springer, 2017. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540629504_lsuk

More information about this seller | Contact this seller

Buy New
US$ 103.57
Convert currency

Add to Basket

Shipping: US$ 9.74
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

5.

Hubert Comon
Published by Springer (1997)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New PAP Quantity available: 15
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)

Book Description Springer, 1997. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540629504

More information about this seller | Contact this seller

Buy New
US$ 90.12
Convert currency

Add to Basket

Shipping: US$ 34.84
From United Kingdom to U.S.A.
Destination, rates & speeds
Seller Image

6.

Comon, Hubert
Published by Springer, Berlin (1997)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New Softcover Quantity available: > 20
Seller:
moluna
(Greven, Germany)

Book Description Springer, Berlin, 1997. Condition: New. This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in J. Seller Inventory # 4896137

More information about this seller | Contact this seller

Buy New
US$ 87.84
Convert currency

Add to Basket

Shipping: US$ 54.15
From Germany to U.S.A.
Destination, rates & speeds
Stock Image

7.

Hubert Comon
Published by Springer 2008-06-13 (2008)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New Paperback Quantity available: 20
Seller:
Chiron Media
(Wallingford, United Kingdom)

Book Description Springer 2008-06-13, 2008. Paperback. Condition: New. Seller Inventory # 6666-ING-9783540629504

More information about this seller | Contact this seller

Buy New
US$ 130.50
Convert currency

Add to Basket

Shipping: US$ 20.89
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

8.

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany (1997)
ISBN 10: 3540629505 ISBN 13: 9783540629504
New Paperback Quantity available: 10
Seller:
The Book Depository EURO
(London, United Kingdom)

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, 1997. Paperback. Condition: New. 1997 ed. Language: English. Brand new Book. 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. Seller Inventory # AAV9783540629504

More information about this seller | Contact this seller

Buy New
US$ 145.58
Convert currency

Add to Basket

Shipping: US$ 6.99
From United Kingdom to U.S.A.
Destination, rates & speeds