Term Rewriting Systems, Terese

Автор: Baader
Название: Term Rewriting and All That
ISBN: 0521779200 ISBN-13(EAN): 9780521779203
Издательство: Cambridge Academ
Рейтинг:
Цена: 8395.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.

Автор: Ralf Treinen
Название: Rewriting Techniques and Applications
ISBN: 3642023479 ISBN-13(EAN): 9783642023477
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics.

Автор: Andrei Voronkov
Название: Rewriting Techniques and Applications
ISBN: 3540705880 ISBN-13(EAN): 9783540705888
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. This book includes papers that cover research on various aspects of rewriting including areas such as applications and foundational issues.

Автор: Lucanu
Название: Rewriting Logic and Its Applications
ISBN: 3319448013 ISBN-13(EAN): 9783319448015
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.