Can I read String-Rewriting Systems (Texts and Monographs in Computer Science) on EtoBox?

String-Rewriting Systems (Texts and Monographs in Computer Science) by Ronald V. Book, Friedrich Otto is a nonfiction available to read on EtoBox.

What is String-Rewriting Systems (Texts and Monographs in Computer Science) about?

The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understood and used in studies relating to more general rewriting, automated deduction, and algorithmic problems of algebraic structures. The authors have concentrated on presenting basic material that ought to be a prerequisite for understanding more specialized material. The monograph opens with the preliminaries of string-rewriting systems followed by length as the basis for reduction. Monadic string-rewriting systems is covered as well as length-reducing non-monadic string-writing systems. The book closes with the subjects of algebraic protocols and algebraic properties. When the reader has mastered the material in the core of the book (Chapters 1-4), then that person should be equipped to explore the ever-growing body of literature in the field of string-rewriting systems. Both authors have been active in the field of string-rewriting systems and have lectured on the subject in several universities. Lecture notes have been produced and distributed. This monograph is a result of revising an

Who reads String-Rewriting Systems (Texts and Monographs in Computer Science)?

Author

Ronald V. Book, Friedrich Otto

Publisher

Springer Spektrum. in Springer-Verlag GmbH

Published

1993

Language

EN

ISBN

9780387979656

Category

nonfiction

Subjects

Computer Science, Science, Mathematics