Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Confluent String Rewriting, Matthias Jantzen


Варианты приобретения
Цена: 9357.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Matthias Jantzen
Название:  Confluent String Rewriting
ISBN: 9783642648670
Издательство: Springer
Классификация: ISBN-10: 3642648673
Обложка/Формат: Paperback
Страницы: 126
Вес: 0.20 кг.
Дата издания: 05.10.2011
Серия: Monographs in Theoretical Computer Science. An EATCS Series
Язык: English
Размер: 234 x 156 x 8
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Term Rewriting and All That

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

Application of Graph Rewriting to Natural Language  Processing

Автор: Guillaume Bonfante, Bruno Guillaume, Guy Perrier
Название: Application of Graph Rewriting to Natural Language Processing
ISBN: 1786300966 ISBN-13(EAN): 9781786300966
Издательство: Wiley
Рейтинг:
Цена: 22010.00 р.
Наличие на складе: Поставка под заказ.

Описание:

The paradigm of Graph Rewriting is used very little in the field of Natural Language Processing. But graphs are a natural way of representing the deep syntax and the semantics of natural languages. Deep syntax is an abstraction of syntactic dependencies towards semantics in the form of graphs and there is a compact way of representing the semantics in an underspecified logical framework also with graphs. Then, Graph Rewriting reconciles efficiency with linguistic readability for producing representations at some linguistic level by transformation of a neighbor level: from raw text to surface syntax, from surface syntax to deep syntax, from deep syntax to underspecified logical semantics and conversely.

Reading, Translating, Rewriting

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

Term Rewriting Systems

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

Rewriting Logic and Its 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.

Rewriting American Identity in the Fiction and Memoirs of Is

Автор: Craig Bonnie
Название: Rewriting American Identity in the Fiction and Memoirs of Is
ISBN: 1137339977 ISBN-13(EAN): 9781137339973
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Moving away from territorially-bound narratives toward a more kinetic conceptualization of identity, this book represents the first analysis of the politics of American identity within the fiction and memoirs of Isabel Allende. Craig offers a radical transformation of societal frameworks through revised notions of place, temporality, and space.

Rewriting Techniques and Applications

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

Rewriting Techniques and Applications

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

Confluent String Rewriting

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

String-Rewriting Systems

Автор: Ronald V. Book; Friedrich Otto
Название: String-Rewriting Systems
ISBN: 1461397731 ISBN-13(EAN): 9781461397731
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and early 1970's, it received renewed attention due to interest in formal language theory. In the 1980's and 1990's, it has received more interest since it can be viewed as a special case of term- rewriting, a subject that has become important in the study of automated deduction. Today, string-rewriting is studied by researchers in theoretical computer science and also by researchers interested in the foundations of artificial intelligence. A sketch of the way that the subject has developed is contained in Chapter 0, and the reader is advised to begin with that chapter. Both authors have been active in the field and have lectured on the subject in several universities. Lecture notes have been produced and dis- tributed. This monograph is a result of revising and rewriting those notes. It represents an attempt by the authors to present the concepts that the authors consider to be most fundamental and to gather together the most useful results in such a way that they can be understood and used in studies relating to more general rewriting, to automated deduction, and to algo- rithmic problems of algebraic structures. This monograph is written for independent study by researchers in the- oretical computer science or in the foundations of artificial intelligence.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия