|
" Confluent String Rewriting "
by Matthias Jantzen.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
736671
|
| Doc. No
|
:
|
b556536
|
| Main Entry
|
:
|
by Matthias Jantzen.
|
| Title & Author
|
:
|
Confluent String Rewriting\ by Matthias Jantzen.
|
| Publication Statement
|
:
|
Berlin, Heidelberg: Springer Berlin Heidelberg, 1988
|
| Series Statement
|
:
|
EATCS monographs on theoretical computer science, 14.
|
| Page. NO
|
:
|
(ix, 126 pages)
|
| ISBN
|
:
|
364261549X
|
|
|
:
|
: 9783642615498
|
| Contents
|
:
|
Introduction --;Basic Definitions --;Decision Problems --;Congruential Languages Specified by Semi-Thue Systems --;Complete STSs, Groups, and Monoids --;The Special One-Relator STSs Sn for n> 1 and the Groups Gn --;References and Further Reading --;Subject Index.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Added Entry
|
:
|
Matthias Jantzen
|
| |