Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science)

Publisher

Springer

Publication Date

2008

Language

English

ISBN 10

3540368345

ISBN 13

9783540368342

Binding

Taschenbuch

Edition

2006.

Condition

Fine

Weight

671 grams

Signed

nein

Seller catalogs

Englische B�cher

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

Visit Seller's Storefront

Seller's business information

Leserstrahl (Preise inkl. MwSt.)
Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen

1. Geltungsbereich

F�r alle Bestellungen �ber AbeBooks/ZVAB durch Verbraucher und Unternehmer gelten die nachfolgenden AGB.

Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen. Unternehmer ist eine nat�rliche oder juristische Person oder eine rechtsf�hige Personengesellschaft, die bei Abschluss eines Rechtsgesch�fts in...

More Information

Shipping Terms

B�cher, die Montag bis Freitag bis 13:30h bestellt werden, bringen wir normalerweise am gleichen Tag zur Post, in Ausnahmef�llen am n�chsten Werktag. Unsere Preise und Versandkosten sind so gestaltet, dass innerhalb Deutschlands niemals zus�tzliche Versandkosten anfallen. So k�nnen die B�cher sofort verschickt werden. F�r Bestellungen au�erhalb Deutschlands gelten die Versandkosten nur f�r B�cher bis 1kg. Alle Preise inkl. MwSt.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	59 to 60 business days	59 to 60 business days
First item	US$ 80.83	US$ 115.46

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.