Rewriting Techniques and Applications, Pierre Lescanne

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

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

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

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

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

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

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

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

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

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

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

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

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

Описание: A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.