دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
دانلود کتاب تکنیک های بازنویسی و برنامه های کاربردی: 12th International Conference، RTA 2001 Utrecht، The Netherlands، May 22-24، 2001 مقالات
مشخصات کتاب
Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
ویرایش: 1 نویسندگان: Henk Barendregt (auth.), Aart Middeldorp (eds.) سری: Lecture Notes in Computer Science 2051 ISBN (شابک) : 9783540421177, 3540421173 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 373 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 55,000
کلمات کلیدی مربوط به کتاب تکنیک های بازنویسی و برنامه های کاربردی: 12th International Conference، RTA 2001 Utrecht، The Netherlands، May 22-24، 2001 مقالات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های بازنویسی و برنامه های کاربردی: 12th International Conference، RTA 2001 Utrecht، The Netherlands، May 22-24، 2001 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های بازنویسی و برنامه های کاربردی: 12th International Conference، RTA 2001 Utrecht، The Netherlands، May 22-24، 2001 مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی
تکنیک‌ها و کاربردهای بازنویسی، RTA 2001، برگزار شده در
اوترخت، هلند، در ماه مه 2001 است.
23 مقاله کامل اصلاح‌شده همراه با دو شرح سیستم به دقت ارائه
شده‌اند. بررسی و از بین 55 مورد ارسالی انتخاب شد. تمام جنبه
های فعلی بازنویسی پرداخته شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th
International Conference on Rewriting Techniques and
Applications, RTA 2001, held in Utrecht, The Netherlands, in
May 2001.
The 23 revised full papers presented together with two system
descriptions were carefully reviewed and selected from 55
submissions. All current aspects of rewriting are addressed.
فهرست مطالب
Computing and Proving....Pages 1-1
Rewriting for Deduction and Verification....Pages 2-2
Universal Interaction Systems with Only Two Agents....Pages 3-14
General Recursion on Second Order Term Algebras....Pages 15-30
Beta Reduction Constraints....Pages 31-46
From Higher-Order to First-Order Rewriting....Pages 47-62
Combining Pattern E -Unification Algorithms....Pages 63-76
Matching Power....Pages 77-92
Dependency Pairs for Equational Rewriting....Pages 93-107
Termination Proofs by Context-Dependent Interpretations....Pages 108-121
Uniform Normalisation beyond Orthogonality....Pages 122-136
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order....Pages 137-153
Relating Accumulative and Non-accumulative Functional Programs....Pages 154-168
Context Unification and Traversal Equations....Pages 169-184
Weakly Regular Relations and Applications....Pages 185-200
On the Parallel Complexity of Tree Automata....Pages 201-215
Transfinite Rewriting Semantics for Term Rewriting Systems....Pages 216-230
Goal-Directed E -Unification....Pages 231-245
The Unification Problem for Confluent Right-Ground Term Rewriting Systems....Pages 246-260
On Termination of Higher-Order Rewriting....Pages 261-275
Matching with Free Function Symbols — A Simple Extension of Matching?....Pages 276-290
Deriving Focused Calculi for Transitive Relations....Pages 291-305
A Formalised First-Order Con uence Proof for the λ-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost)....Pages 306-321
A Normal Form for Church-Rosser Language Systems....Pages 322-337
Confluence and Termination of Simply Typed Term Rewriting Systems....Pages 338-352
Parallel Evaluation of Interaction Nets with MPINE....Pages 353-356
Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5....Pages 357-361
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Interaktions-Revolution im Bankmanagement
دانلود کتاب Thinking Past Terror: Islamism and Critical Theory on the Left
دانلود کتاب Mondialisation et régulations
دانلود کتاب Faces of aging : the lived experiences of the elderly in Japan
