String-Rewriting Systems by Ronald V 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.-
The Science of Programming
-
A Theory of Objects
-
Numerical Geometry of Non-Rigid Shapes
-
Computer Systems
-
Algebraic Approaches to Program Semantics
-
Set Theory for Computing
-
Beauty Is Our Business
-
Parameterized Complexity
-
A Discipline of Multiprogramming
-
Asynchronous Circuits
-
The Design of Well-Structured and Correct Programs
-
Error-Free Polynomial Matrix Computations
-
Prototyping-Oriented Software Development
-
An Introduction to Formal Language Theory
-
The Synthesizer Generator
-
Methods and Applications of Error-Free Computation
-
Adaptive Information Processing
-
Reliable Computer Systems
-
Programming with Sets
-
Programming in Modula-2
-
Adaptive Signal Processing
-
Predicate Calculus and Program Semantics
-
Algorithmic Algebra
-
Programming with Specifications
-
Probabilistic Analysis of Algorithms
-
Expert Systems and Probabilistic Network Models
-
Algorithmic Language and Program Development
-
Object-Oriented Database Programming
-
The Design and Analysis of Algorithms
-
Software Configuration Management Using Vesta
-
The Origins of Digital Computers
-
Larch: Languages and Tools for Formal Specification
-
What Computing Is All About
-
ML with Concurrency
-
The Synthesizer Generator Reference Manual
-
Language Equations
-
On a Method of Multiprogramming
-
Programming Methodology
-
Abstraction, Refinement and Proof for Probabilistic Systems
-
Super-Recursive Algorithms
-
Specification and Development of Interactive Systems
-
Geometric Fundamentals of Robotics
-
Evolutionary Synthesis of Pattern Recognition Systems
-
Reverse Engineering of Object Oriented Code
-
High Performance Discovery In Time Series
-
Panoramic Vision
| SKU | Unavailable |
| ISBN 13 | 9781461397731 |
| ISBN 10 | 1461397731 |
| Title | String-Rewriting Systems |
| Author | Ronald V Book |
| Series | Monographs In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag New York Inc. |
| Year published | 2011-12-14 |
| Number of pages | 189 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |