Advanced Topics in Term Rewriting

Language: English

Published by Springer New York Apr 2002, 2002

0387952500 / 9780387952505

  • Hardcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

Hardcover

Condition: New

£ 45.97

£ 19.19 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -The book is intended for researchers, not only for those working in term rewriting, but it is also of interest for scientists working in areas like functional or logic programming, formal methods, automated reasoning, and symbolic computation, since term rewriting is also a fundamental concept in these areas. For example, Chapter 11 will definitely be of great interest for the logic programming community. In many situations, however, one needs weaker or stronger properties than confluence and termination. In contrast to the current survey articles and textbooks, the so-called confluence and termination hierarchies play a key role in the book. The confluence (termination) hierarchy contains properties related to confluence (termination). In the book, the relationships between the properties in the hierarchies are reviewed, and it is shown that for every implication X =Y in the hierarchies, the property X is undecidable for all term rewriting systems satisfying Y. 436 pp. Englisch.…

Seller Inventory # 9780387952505

Title
Advanced Topics in Term Rewriting
Author
Enno Ohlebusch
Publisher
Springer New York Apr 2002
Publication year
2002
Condition
Neu
Binding
Buch
Language
English
ISBN 10
0387952500
ISBN 13
9780387952505
Item weight
816 grams
Dimensions
241x160x27 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First item£ 19.19£ 19.19
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany

BuchWeltWeit Inh. Ludwig Meier e.K.
Inhaber: Ludwig Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland

Tel.: +49(0)22028659300
Fax: +49(0)22028659301
E-Mail: info@buchweltweit.de

Registergericht: Amtsgericht Köln
Registernummer: HRA 28253

Umsatzsteuer-Identifikationsnummer: DE815259907

Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.