Term Rewriting, Hubert Comon; Jean-Pierre Jouannaud

Автор: 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.

Автор: Stephane Kaplan; Jean-Pierre Jouannaud
Название: Conditional Term Rewriting Systems
ISBN: 3540192425 ISBN-13(EAN): 9783540192428
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jan Heering; Karl Meinke; Bernhard M?ller; Tobias
Название: Higher-Order Algebra, Logic, and Term Rewriting
ISBN: 3540582339 ISBN-13(EAN): 9783540582335
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The research papers collected in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques such as resolution and term rewriting, and specification and verification case studies. They suggest new research directions in this area.

Автор: Gilles Dowek; Jan Heering; Karl Meinke; Bernhard M
Название: Higher-Order Algebra, Logic, and Term Rewriting
ISBN: 3540612548 ISBN-13(EAN): 9783540612544
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems.

Автор: Block M
Название: Rewriting Network News
ISBN: 1608714225 ISBN-13(EAN): 9781608714223
Издательство: Sage Publications
Рейтинг:
Цена: 5859.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Collects 345 network scripts that feature problems in grammar, news judgment, broadcast style, and storytelling, not to spotlight sinners, but sins that can be remedied. This title offers corrections, comments, and suggestions for improvement.

Автор: Markwick
Название: Rewriting History in Soviet Russia
ISBN: 0333792092 ISBN-13(EAN): 9780333792094
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Explores the significance of the development of historical revisionism in the USSR under Khrushchev and its demise during the "period of stagnation" under Brezhnev. The author argues that this rejuvenation of historiography prepared for the upheaval to historic writing caused by "perestroika".

Автор: Enno Ohlebusch
Название: Advanced Topics in Term Rewriting
ISBN: 1441929215 ISBN-13(EAN): 9781441929211
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Term rewriting techniques are applicable in various fields of computer sci- ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro- gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc- cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu- ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.

Автор: Suttie
Название: Rewriting the First World War
ISBN: 1403991197 ISBN-13(EAN): 9781403991195
Издательство: Springer
Рейтинг:
Цена: 17468.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book assesses Lloyd George`s attempt to shape the history of 1914-18 through his War Memoirs. Yet as War Minister and Prime Minister Lloyd George presided over the bloody offensives of 1916-17, and had earlier taken a leading role in mobilising industrial resources to provide the weapons which made them possible.

Автор: Michael Rusinowitch; Jean-Luc Remy
Название: Conditional Term Rewriting Systems
ISBN: 3540563938 ISBN-13(EAN): 9783540563938
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting.

Автор: Terese
Название: Term Rewriting Systems
ISBN: 0521391156 ISBN-13(EAN): 9780521391153
Издательство: Cambridge Academ
Рейтинг:
Цена: 32155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.