Advanced Topics in Term Rewriting

Name: Advanced Topics in Term Rewriting
Brand: Springer, Berlin
SKU: 9780387952505
Price: 52.65 EUR
Availability: InStock

Автор: Enno Ohlebusch

Език:

Корици: С твърди корици

Издател: Springer, Berlin

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

Изпращаме след 10-13 дни

52.65 € 102.98 лв

First book on advanced topics in term rewriting Covers the newest techniques for proving termination...

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

Автор

Enno Ohlebusch

Език

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

Корици

Книга - С твърди корици

Издадена

2002

страници

414

EAN

9780387952505

ISBN

0387952500

Enbook ID

01384320

Издател

Springer, Berlin

Теглоt

786

Размери

156 x 234 x 23

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

First book on advanced topics in term rewriting Covers the newest techniques for proving termination of rewrite systems Contains a comprehensive chapter on conditional term rewriting systems Contains a state-of-the-art survey of modularity in term rewriting Presents a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Advanced Topics in Term Rewriting

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

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

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

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