Rewriting Techniques and Applications

0 avg rating
( 0 ratings by Goodreads )
 
9780123909602: Rewriting Techniques and Applications

The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.

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

Top Search Results from the AbeBooks Marketplace

1.

Author Unknown
Published by Academic Press (1988)
ISBN 10: 0123909600 ISBN 13: 9780123909602
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Academic Press, 1988. Paperback. Book Condition: New. book. Bookseller Inventory # 123909600

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.20
Convert Currency

Add to Basket

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

2.

Author Unknown
Published by Academic Press (1988)
ISBN 10: 0123909600 ISBN 13: 9780123909602
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Academic Press, 1988. Paperback. Book Condition: New. book. Bookseller Inventory # 0123909600

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.20
Convert Currency

Add to Basket

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