Title: Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer . Computer Science and General Issues)
Publisher: Springer
Publication Date: 2006
Language: English
ISBN 10: 3540368345
ISBN 13: 9783540368342
Binding: Paperback
Condition: Very Good
Weight: 22 ounces

About this title

Synopsis

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

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

Store Description

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visit Seller's Storefront

Seller's business information

GuthrieBooks
TX, U.S.A.

Sale & Shipping Terms

Terms of Sale

At this time we accept payment through Visa or Mastercard.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 14 business days	3 to 6 business days
First item	US$ 6.99	US$ 13.99

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.