عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
364261549X
9783642615498
b556536
Confluent String Rewriting
[Book]
by Matthias Jantzen.
Berlin, Heidelberg
Springer Berlin Heidelberg
1988
(ix, 126 pages)
EATCS monographs on theoretical computer science, 14.
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.
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.
Computer science.
by Matthias Jantzen.
Matthias Jantzen
مطالعه متن کتاب [Book]
Y
