Rewriting Techniques and Applications, Leo Bachmair

Автор: Ronald V. Book
Название: Rewriting Techniques and Applications
ISBN: 3540539042 ISBN-13(EAN): 9783540539049
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 1991.

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

Автор: Santiago Escobar
Название: Rewriting Logic and Its Applications
ISBN: 3319129031 ISBN-13(EAN): 9783319129037
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation.- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude.- Real-Time Maude and Its Applications.- Conditional Narrowing Modulo in Rewriting Logic and Maude.- Language Definitions as Rewrite Theories.- Infinite-State Model Checking of LTLR Formulas Using Narrowing.- Modelling and Verifying Contract-Oriented Systems in Maude.- Towards Static Analysis of Functional Programs Using Tree Automata Completion.- Framework for Mobile Ad hoc Networks in Real-Time Maude.- Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.- 2D Dependency Pairs for Proving Operational Termination of CTRSs.- FunKons: Component-Based Semantics in K.- An Integration of CafeOBJ into Full Maude.- Rewriting Modulo SMT and Open System Analysis.- Formal Specification of Button-Related Fault-Tolerance Micropatterns.- A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications.

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

Автор: Sophie Tison
Название: Rewriting Techniques and Applications
ISBN: 3540439161 ISBN-13(EAN): 9783540439165
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Nachum Dershowitz
Название: Rewriting Techniques and Applications
ISBN: 3540510818 ISBN-13(EAN): 9783540510819
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Pierre Lescanne
Название: Rewriting Techniques and Applications
ISBN: 3540172203 ISBN-13(EAN): 9783540172208
Издательство: Springer
Рейтинг:
Цена: 32600.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, 'RTA 87', held in Bordeaux, France, May 1987.

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

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

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