دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985
دانلود کتاب تکنیک ها و برنامه های بازنویسی: دیژون ، فرانسه ، 20 تا 22 مه 1985
مشخصات کتاب
Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.) سری: Lecture Notes in Computer Science 202 ISBN (شابک) : 9783540159766, 3540159762 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1985 تعداد صفحات: 447 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب تکنیک ها و برنامه های بازنویسی: دیژون ، فرانسه ، 20 تا 22 مه 1985: منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک ها و برنامه های بازنویسی: دیژون ، فرانسه ، 20 تا 22 مه 1985 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک ها و برنامه های بازنویسی: دیژون ، فرانسه ، 20 تا 22 مه 1985
تئوری و عمل بازنویسی اصطلاحات اکنون به خوبی تثبیت شده است و کانون توجه روزافزون علاقه به دنیای علوم کامپیوتر است. این کتاب مجموعه ای از مشارکت های پژوهشی اصلی و بررسی دانش موجود را گرد هم می آورد. برخی از مهم‌ترین پیشرفت‌ها در نظریه بازنویسی اصطلاح، و همچنین تاریخچه مهم‌ترین کشف در این زمینه، یعنی مفهوم یک جفت بحرانی و پیامد طبیعی آن، الگوریتم تکمیل، مرور می‌شوند. بسیاری از ایده های جدید توسعه یافته کاربردهای مهمی در زمینه های دیگر محاسبات نظری دارند. بنابراین، این کتاب باید مورد توجه محققان حوزه هایی مانند برنامه نویسی منطقی، جبر کامپیوتری و برنامه نویسی تابعی باشد.
توضیحاتی درمورد کتاب به خارجی
The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.
فهرست مطالب
Basic features and development of the critical-pair/completion procedure....Pages 1-45
Contextual rewriting....Pages 46-62
Thue systems as rewriting systems....Pages 63-94
Deciding algebraic properties of monoids presented by finite church-rosser Thue systems....Pages 95-106
Two applications of equational theories to database theory....Pages 107-123
An experiment in partial evaluation: The generation of a compiler generator....Pages 124-140
NARROWER: a new algorithm for unification and its application to Logic Programming....Pages 141-157
Solving type equations by graph rewriting....Pages 158-179
Termination....Pages 180-224
Path of subterms ordering and recursive decomposition ordering revisited....Pages 225-240
Associative path orderings....Pages 241-254
A procedure for automatically proving the termination of a set of rewrite rules....Pages 255-270
Petrireve: Proving Petri net properties with rewriting systems....Pages 271-286
Fairness in term rewriting systems....Pages 287-300
Two results in term rewriting theorem proving....Pages 301-324
Handling function definitions through innermost superposition and rewriting....Pages 325-344
An ideal-theoretic approach to word problems and unification problems over finitely presented commutative algebras....Pages 345-364
Combining unification algorithms for confined regular equational theories....Pages 365-380
An algebraic approach to unification under associativity and commutativity....Pages 381-397
Unification problems with one-sided distributivity....Pages 398-406
Fast many-to-one matching algorithms....Pages 407-416
Complexity of matching problems....Pages 417-429
The set of unifiers in typed λ-calculus as regular expression....Pages 430-440
Equational systems for category theory and intuitionistic logic....Pages 441-441
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Digital Computer and Control Engineering
دانلود کتاب C# pour les nuls
دانلود کتاب Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
دانلود کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
دانلود کتاب Learning Theory: 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings
دانلود کتاب Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
دانلود کتاب BDD in Action: Behavior-Driven Development for the whole software lifecycle
دانلود کتاب Secrets of RSS
