دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Word Equations and Related Topics: 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
دانلود کتاب معادلات کلمه و موضوعات مرتبط: اولین کارگاه بین المللی، IWWERT '90 Tübingen، آلمان، اکتبر 1990 مجموعه مقالات
مشخصات کتاب
Word Equations and Related Topics: 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
ویرایش: 1 نویسندگان: G. S. Makanin (auth.), K. U. Schulz (eds.) سری: Lecture Notes in Computer Science 572 ISBN (شابک) : 9783540551249, 9783540467373 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1992 تعداد صفحات: 263 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب معادلات کلمه و موضوعات مرتبط: اولین کارگاه بین المللی، IWWERT '90 Tübingen، آلمان، اکتبر 1990 مجموعه مقالات: است
در صورت تبدیل فایل کتاب Word Equations and Related Topics: 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معادلات کلمه و موضوعات مرتبط: اولین کارگاه بین المللی، IWWERT '90 Tübingen، آلمان، اکتبر 1990 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معادلات کلمه و موضوعات مرتبط: اولین کارگاه بین المللی، IWWERT '90 Tübingen، آلمان، اکتبر 1990 مجموعه مقالات
این جلد شامل مقالات ارائه شده در اولین کارگاه بین المللی معادلات کلمه و موضوعات مرتبط است که در دانشگاه T}bingen در اکتبر 1990 برگزار شد. علوم، مانند نظریه یکسان سازی، ترکیبات روی کلمات، پردازش لیست و برنامه نویسی منطق محدودیت. این کارگاه انجمنی است که در آن محققان از این حوزه‌های مختلف می‌توانند نتایج و ایده‌ها را ارائه و بحث کنند، در نتیجه از تعامل و بارورسازی متقابل بین سؤالات نظری و کاربردهای عملی حمایت می‌کنند. این جلد مقالاتی را جمع‌آوری می‌کند که: - حاوی نتایج جدید و مرتبط است، - رویکرد جدیدی را به یک موضوع توصیف می‌کند، یا - بررسی تحولات اصلی در یک حوزه را ارائه می‌کند. این مقالات شامل بررسی‌هایی در مورد گروه‌های آزاد، اتحاد انجمنی و الگوریتم ماکانین برای تصمیم‌گیری در مورد حل‌پذیری معادلات در نیمه‌گروه‌های آزاد، نظریه یکسان سازی عمومی و رابطه آن با جبر و نظریه مدل، سیستم‌های Thue و گروه‌های ارائه‌شده محدود می‌شود.
توضیحاتی درمورد کتاب به خارجی
This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic of this annual workshop, lieat the intersection of several important areas of computer science, suchas unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers fromthese different domains may present and discuss results and ideas, thereby supporting interaction and cross-fertilization between theoretical questions and practical applications. The volume collects papers which: - contain new and relevant results, - describe a new approach to a subject, or - give a survey of main developments in an area. Papers cover investigations on free groups, associative unification and Makanin's algorithm to decide the solvability of equations in free semigroups, general unification theory and its relationship to algebra and model theory, Thue systems, and finitely presented groups.
فهرست مطالب
Investigations on equations in a free group....Pages 1-11
An analysis of Makanin\'s algorithm deciding solvability of equations in free groups....Pages 12-60
Implementation of Makanin\'s Algorithm....Pages 61-84
Makanin\'s algorithm for word equations-two improvements and a generalization....Pages 85-150
Unification theory....Pages 151-170
Algebraic and logical aspects of unification....Pages 171-180
Model-theoretic aspects of unification....Pages 181-196
Complete equational unification based on an extension of the Knuth-Bendix completion procedure....Pages 197-209
Unification in varieties of completely regular semigroups....Pages 210-230
A note on confluent Thue systems....Pages 231-236
Confluence of one-rule Thue systems....Pages 237-246
Systems of equations over a finite set of words and automata theory....Pages 247-249
New systems of defining relations of the braid group....Pages 250-256
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Efficient Query Processing in Geographic Information Systems
دانلود کتاب Acceptance and Commitment Therapy for Interpersonal Problems: Using Mindfulness, Acceptance, and Schema Awareness to Change Interpersonal Behaviors
