|
Showing 1 - 2 of
2 matches in All Departments
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."
This volume contains the proceedings of the Fourth International
Conference on Rewriting Techniques and Applications (RTA-91), held
in Como, Italy, April 10-12, 1991. The volume includes 40 papers on
a wide variety of topics including: term rewriting systems,
equational unification, algebraic rewriting, termination proofs,
generalization problems, undecidable properties, parametrized
specifications, normalizing systems, program transformation, query
optimization, tree languages, graph languages, theorem proving
systems, completion, graph rewriting systems, and open problems.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|