[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content

String-Rewriting Systems

  • Textbook
  • © 1993

Overview

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (8 chapters)

Authors and Affiliations

  • Department of Mathematics, University of California, Santa Barbara, USA

    Ronald V. Book

  • Fachbereich Mathematik/Informatik, Gesamthochschule Kassel, Kassel, Germany

    Friedrich Otto

Bibliographic Information

  • Book Title: String-Rewriting Systems

  • Authors: Ronald V. Book, Friedrich Otto

  • Series Title: Monographs in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4613-9771-7

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag New York, Inc. 1993

  • Softcover ISBN: 978-1-4613-9773-1Published: 14 December 2011

  • eBook ISBN: 978-1-4613-9771-7Published: 06 December 2012

  • Series ISSN: 0172-603X

  • Series E-ISSN: 2512-5486

  • Edition Number: 1

  • Number of Pages: VIII, 189

  • Topics: Artificial Intelligence

Publish with us