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

Verlag

Springer

Ver�ffentlichungsdatum

2008

Sprache

Englisch

ISBN-10

3540368345

ISBN-13

9783540368342

Bindung

Taschenbuch

Ausgabe

2006.

Zustand

Fine

Signiert

nein

Verk�uferkataloge

Englische B�cher

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Leserstrahl (Preise inkl. MwSt.)
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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...

Mehr Information

Versandbedingungen

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.

Impressum & Info zum Verk�ufer