Advanced Topics in Term Rewriting

0 avg rating
( 0 ratings by Goodreads )
 
9780387952505: Advanced Topics in Term Rewriting

Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, 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. Topics covered include: the newest techniques for proving termination of rewrite systems; a comprehensive chapter on conditional term rewriting systems; a state-of-the-art survey of modularity in term rewriting, and a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.

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

Review:

From the reviews:

"The book Advanced Topics in Term Rewriting (ATITR) begins with an Abstract Reduction System ARS. ... there are not many textbooks written in English on term rewriting. ... if you like mathematics, already know the basics of term rewriting and you are a researcher or a postgraduate then this book is definitely recommended." (Nimish Shah, Journal of Functional Programming, Vol. 16 (2), 2006)

"A well-written overview of recent research with many references to the literature, and hence has clearly an added value over a collection of papers. ... contains a pleasant surprise in the form of a chapter on termination of logic programs. ... it can be very well used for a seminar for advanced students who already know the basics of term rewriting. ... it is written in a clear and rigorous way. ... I very much recommend the book for researchers and advanced students ... ." (Femke van Raamsdonk, Theory and Practice of Logic Programming, Vol. 4 (4), 2004)

"The book starts with some motivating examples of Term Rewriting Systems (TRSs) (e.g. ‘coffee can problem’). ... There are other books on TRSs but these are in fact introductory textbooks whereas Ohlebusch’s book covers several important fields in term rewriting that go beyond the scope of an introductory book – especially fields to which the author himself made essential contributions. In this way this monograph is an outstanding one, suitable for all Computer scientists who study and use term rewriting." (A. Widiger, Zentralblatt MATH, Vol. 999 (24), 2002)

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

Top Search Results from the AbeBooks Marketplace

1.

Ohlebusch, Enno
Published by Springer
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 1
Seller:
Bookhouse COM LLC
(Philadelphia, PA, U.S.A.)
Rating
[?]

Book Description Springer. Hardcover. Book Condition: New. 0387952500. Bookseller Inventory # Z0387952500ZN

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 30.24
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Ohlebusch, Enno
Published by Springer
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 1
Seller:
BookShop4U
(PHILADELPHIA, PA, U.S.A.)
Rating
[?]

Book Description Springer. Hardcover. Book Condition: New. 0387952500. Bookseller Inventory # Z0387952500ZN

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 30.24
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Ohlebusch, Enno
Published by Springer
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 1
Seller:
Booklot COM LLC
(Philadelphia, PA, U.S.A.)
Rating
[?]

Book Description Springer. Hardcover. Book Condition: New. 0387952500. Bookseller Inventory # Z0387952500ZN

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 30.75
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Ohlebusch, Enno
Published by Springer
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 1
Seller:
Qwestbooks COM LLC
(Bensalem, PA, U.S.A.)
Rating
[?]

Book Description Springer. Hardcover. Book Condition: New. 0387952500. Bookseller Inventory # Z0387952500ZN

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 30.75
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

Ohlebusch, Enno
Published by Springer 2002-04-12 (2002)
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 1
Seller:
Ebooksweb COM LLC
(Bensalem, PA, U.S.A.)
Rating
[?]

Book Description Springer 2002-04-12, 2002. Hardcover. Book Condition: New. 2002. 0387952500. Bookseller Inventory # Z0387952500ZN

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 30.76
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Enno Ohlebusch
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 1
Seller:
LIMEROCK BOOKS INC.
(SARASOTA, FL, U.S.A.)
Rating
[?]

Book Description Hardcover. Book Condition: New. This Book is in Good Condition; Customer Satisfaction Comes First.Delivery Time 4-12 days. 100% Money back Guaranteed!!!. Bookseller Inventory # 0387952500

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 30.00
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Ohlebusch, Enno
Published by Springer
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 1
Seller:
Vital Products COM LLC
(Southampton, PA, U.S.A.)
Rating
[?]

Book Description Springer. Hardcover. Book Condition: New. 0387952500. Bookseller Inventory # Z0387952500ZN

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 51.78
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Ohlebusch, Enno
Published by Springer (2017)
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Hardcover Quantity Available: 2
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Springer, 2017. Hardcover. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # P110387952500

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.58
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

9.

Ohlebusch, Enno
Published by Springer-Verlag New York Inc. (2002)
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag New York Inc., 2002. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9780387952505

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 79.52
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

10.

Ohlebusch, Enno
Published by Springer (2016)
ISBN 10: 0387952500 ISBN 13: 9780387952505
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780387952505_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 82.33
Convert Currency

Add to Basket

Shipping: US$ 5.17
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book