Term Rewriting and Applications

Name: Term Rewriting and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540368342
Price: 52.75 EUR
Availability: InStock

17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Автор: Frank Pfenning

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.75 € 103.17 лв

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec...

Информация за книгата

Автор

Frank Pfenning

Език

Английски език

Корици

Книга - С меки корици

Издадена

2006

страници

418

EAN

9783540368342

ISBN

3540368345

Enbook ID

01562413

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

1340

Размери

155 x 235 x 24

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Term Rewriting and Applications

17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също