Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Advanced Topics in Term Rewriting (Paperback, Softcover reprint of hardcover 1st ed. 2002) Loot Price: R1,694

Discovery Miles 16 940

Repayment Terms: R159 pm x 12*

Add to cart

Advanced Topics in Term Rewriting (Paperback, Softcover reprint of hardcover 1st ed. 2002): Enno Ohlebusch

Advanced Topics in Term Rewriting (Paperback, Softcover reprint of hardcover 1st ed. 2002)

Enno Ohlebusch

(sign in to rate)

Loot Price R1,694 Discovery Miles 16 940 | Repayment Terms: R159 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Release date:	December 2010
First published:	2002
Authors:	Enno Ohlebusch
Dimensions:	235 x 155 x 22mm (L x W x T)
Format:	Paperback
Pages:	414
Edition:	Softcover reprint of hardcover 1st ed. 2002
ISBN-13:	978-1-4419-2921-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > General Promotions
LSN:	1-4419-2921-5
Barcode:	9781441929211