Rewriting Logic and Its Applications, Santiago Escobar

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

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

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

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

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

Автор: Narciso Mart?-Oliet; Peter Csaba ?lveczky; Carolyn
Название: Logic, Rewriting, and Concurrency
ISBN: 3319231642 ISBN-13(EAN): 9783319231648
Издательство: Springer
Рейтинг:
Цена: 11180.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.

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

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

Автор: Heiko D?rr
Название: Efficient Graph Rewriting and Its Implementation
ISBN: 3540600558 ISBN-13(EAN): 9783540600558
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents two major research results on the fast implementation of graph rewriting systems (GRS). The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structure to comprise a formalism for an operational specification.

Автор: Hubert Comon-Lundh; Claude Kirchner; H?l?ne Kirchn
Название: Rewriting, Computation and Proof
ISBN: 3540731466 ISBN-13(EAN): 9783540731467
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This title includes 13 refereed papers that are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a section entitled Towards Safety and Security.