Symbolic Rewriting Techniques, Manuel Bronstein; Johannes Grabmeier; Volker Weisp

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

Описание: The 27 papers in this volume cover topics including analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, and symbolic and algebraic computation.

Автор: Paliath Narendran; Michael Rusinowitch
Название: Rewriting Techniques and Applications
ISBN: 3540662014 ISBN-13(EAN): 9783540662013
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume covers the 10th International Conference on Rewriting Techniques and Applications held in July 1999. It includes such topics as constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting and string rewriting.

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

Описание: Contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, 'RTA 87', held in Bordeaux, France, May 1987.

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

Описание: Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gr bner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume.

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

Описание: This text constitutes the proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, The Netherlands, 2001. The 23 full papers and two system descriptions address contemporary aspects of rewriting.

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

Описание: Constitutes 24 revised papers presented at a conference on rewriting techniques and applications, along with two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented.

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

Описание: This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 1991.

Автор: Jean-Pierre Jouannaud
Название: Rewriting Techniques and Applications
ISBN: 3540159762 ISBN-13(EAN): 9783540159766
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: First International Conference on Rewriting Techniques and Applications

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

Описание: This volume of conference proceedings addresses all contemporary aspects of rewriting techniques and their applications. Nine specific systems are described, and two problem sets are also contributed.

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

Описание: These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002.

Автор: Leo Bachmair
Название: Rewriting Techniques and Applications
ISBN: 354067778X ISBN-13(EAN): 9783540677789
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000.

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