عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
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
