String-Rewriting Systems, Ronald V. Book; Friedrich Otto

Автор: Michael Rusinowitch; Jean-Luc Remy
Название: Conditional Term Rewriting Systems
ISBN: 3540563938 ISBN-13(EAN): 9783540563938
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting.

Автор: Stephane Kaplan; Jean-Pierre Jouannaud
Название: Conditional Term Rewriting Systems
ISBN: 3540192425 ISBN-13(EAN): 9783540192428
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Matthias Jantzen
Название: Confluent String Rewriting
ISBN: 3540137157 ISBN-13(EAN): 9783540137153
Издательство: Springer
Рейтинг:
Цена: 9357.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Manuel Bronstein; Johannes Grabmeier; Volker Weisp
Название: Symbolic Rewriting Techniques
ISBN: 3034897790 ISBN-13(EAN): 9783034897792
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: - the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, - the Buchberger algorithm for Gr bner bases, - the Ritt-Wu characteristic set method for ordinary differential equations, and - the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication.

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

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

Автор: Nachum Dershowitz; Naomi Lindenstrauss
Название: Conditional and Typed Rewriting Systems
ISBN: 3540603816 ISBN-13(EAN): 9783540603818
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings report the research advances in the area of rewriting, in general achieved since the preceding workshop, held in 1992. The topics addressed include conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, and combinator-based languages.

Автор: Stephane Kaplan; Mitsuhiro Okada
Название: Conditional and Typed Rewriting Systems
ISBN: 3540543171 ISBN-13(EAN): 9783540543176
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.

Автор: Matthias Jantzen
Название: Confluent String Rewriting
ISBN: 3642648673 ISBN-13(EAN): 9783642648670
Издательство: Springer
Рейтинг:
Цена: 9357.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Replacement systems, such as term rewriting systems, tree manipulat- ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput- ation. Replacement systems for strings arose about seventy years earlier in the area of combinatory logic and group theory. The most natural and appropriate formalism for dealing with string rewriting is the notion of a semi-Thue system and this monograph treats its central aspects. The reduction relation is here defined firstly by the direction of the rules and secondly by some metric that yields efficient algorithms. These systems are general enough to discuss the basic notions of arbitrary replacement systems, such as termination, confluence, and the Church-Rosser property in its original meaning. Confluent semi-Thue systems in which each and every derivation consists of finitely many steps only are called complete; they guarantee the existence of unique normal forms as canonical representatives of the Thue congruence classes. Each such system can be considered a nondeterministic algorithm for the word problem which works correctly without backtracking. This is often conceptually simpler and more elegant than an ad hoc construction. In many cases a replace- ment system can be altered to a complete system by the Knuth-Bendix completion method.

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

Автор: de la Rochere Martine Hennard Dutheil
Название: Reading, Translating, Rewriting
ISBN: 0814336345 ISBN-13(EAN): 9780814336342
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 4990.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In translating Charles Perrault's seventeenth-century Histoires ou contes du temps passé, avec des Moralités into English, Angela Carter worked to modernise the language and message of the tales before rewriting many of them for her own famous collection of fairy tales for adults, The Bloody Chamber, published two years later. In Reading, Translating, Rewriting: Angela Carter's Translational Poetics, author Martine Hennard Dutheil de la Rochère delves into Carter's The Fairy Tales of Charles Perrault (1977) to illustrate that this translation project had a significant impact on Carter's own writing practice. Hennard combines close analyses of both texts with an attention to Carter's active role in the translation and composition process to explore this previously unstudied aspect of Carter's work. She further uncovers the role of female fairy-tale writers and folktales associated with the Grimms' Kinder- und Hausmärchen in the rewriting process, unlocking new doors to The Bloody Chamber.Hennard begins by considering the editorial evolution of The Fairy Tales of Charles Perrault from 1977 to the present day, as Perrault's tales have been rediscovered and repurposed. In the chapters that follow, she examines specific linkages between Carter's Perrault translation and The Bloody Chamber, including targeted analysis of the stories of Red Riding Hood, Bluebeard, Puss-in-Boots, Beauty and the Beast, Sleeping Beauty, and Cinderella. Hennard demonstrates how, even before The Bloody Chamber, Carter intervened in the fairy-tale debate of the late 1970s by reclaiming Perrault for feminist readers when she discovered that the morals of his worldly tales lent themselves to her own materialist and feminist goals. Hennard argues that The Bloody Chamber can therefore be seen as the continuation of and counterpoint to The Fairy Tales of Charles Perrault, as it explores the potential of the familiar stories for alternative retellings.While the critical consensus reads into Carter an imperative to subvert classic fairy tales, the book shows that Carter valued in Perrault a practical educator as well as a proto-folklorist and went on to respond to more hidden aspects of his texts in her rewritings. Reading, Translating, Rewriting is informative reading for students and teachers of fairy-tale studies and translation studies.