Regulated Rewriting in Formal Language Theory, J?rgen Dassow; Gheorghe Paun

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

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

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

Автор: Robert N. Moll; James Pustejovsky; Michael A. Arbi
Название: An Introduction to Formal Language Theory
ISBN: 1461395976 ISBN-13(EAN): 9781461395973
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The study of formal languages and of related families of automata has long been at the core of theoretical computer science.

Автор: Gilles Dowek
Название: Rewriting and Typed Lambda Calculi
ISBN: 331908917X ISBN-13(EAN): 9783319089171
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

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

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

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

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

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

Описание:

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.