دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
دانلود کتاب تکنیک های بازنویسی و برنامه های کاربردی: 20مین کنفرانس بین المللی، RTA 2009 برزیلیا، برزیل، 29 ژوئن - 1 ژوئیه 2009 پرونده ها
مشخصات کتاب
Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ویرایش: 1 نویسندگان: Johannes Waldmann (auth.), Ralf Treinen (eds.) سری: Lecture Notes in Computer Science 5595 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642023484, 3642023487 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 404 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب تکنیک های بازنویسی و برنامه های کاربردی: 20مین کنفرانس بین المللی، RTA 2009 برزیلیا، برزیل، 29 ژوئن - 1 ژوئیه 2009 پرونده ها: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، ریاضیات گسسته در علوم کامپیوتر، دستکاری نمادین و جبری، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های بازنویسی و برنامه های کاربردی: 20مین کنفرانس بین المللی، RTA 2009 برزیلیا، برزیل، 29 ژوئن - 1 ژوئیه 2009 پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های بازنویسی و برنامه های کاربردی: 20مین کنفرانس بین المللی، RTA 2009 برزیلیا، برزیل، 29 ژوئن - 1 ژوئیه 2009 پرونده ها
این کتاب مجموعه مقالات داوری بیستمین کنفرانس بین المللی تکنیک ها و کاربردهای بازنویسی، RTA 2009، در برازیلیا، برزیل، در 29 ژوئن تا 1 ژوئیه 2009 است.
22 مقاله کامل بازبینی شده و چهار توصیف سیستم ارائه شده به دقت بررسی و از بین 59 ارسال اولیه انتخاب شدند. این مقالات تحقیقات کنونی را در مورد تمام جنبه‌های بازنویسی از جمله زمینه‌های مورد علاقه معمولی مانند برنامه‌ها، مسائل اساسی، چارچوب‌ها، پیاده‌سازی‌ها و معناشناسی پوشش می‌دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasília, Brazil, during June 29 - July 1, 2009.
The 22 revised full papers and four system descriptions presented were carefully reviewed and selected from 59 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
فهرست مطالب
Front Matter....Pages -
Automatic Termination....Pages 1-16
Loops under Strategies....Pages 17-31
Proving Termination of Integer Term Rewriting....Pages 32-47
Dependency Pairs and Polynomial Path Orders....Pages 48-62
Unique Normalization for Shallow TRS....Pages 63-77
The Existential Fragment of the One-Step Parallel Rewriting Theory....Pages 78-92
Proving Confluence of Term Rewriting Systems Automatically....Pages 93-102
A Proof Theoretic Analysis of Intruder Theories....Pages 103-117
Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case....Pages 118-132
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions....Pages 133-147
YAPA: A Generic Tool for Computing Intruder Knowledge....Pages 148-163
Well-Definedness of Streams by Termination....Pages 164-178
Modularity of Convergence in Infinitary Rewriting....Pages 179-193
A Heterogeneous Pushout Approach to Term-Graph Transformation....Pages 194-208
An Explicit Framework for Interaction Nets....Pages 209-223
Dual Calculus with Inductive and Coinductive Types....Pages 224-238
Comparing Böhm-Like Trees....Pages 239-254
The Derivational Complexity Induced by the Dependency Pair Method....Pages 255-269
Local Termination....Pages 270-284
VMTL–A Modular Termination Laboratory....Pages 285-294
Tyrolean Termination Tool 2....Pages 295-304
From Outermost to Context-Sensitive Rewriting....Pages 305-319
A Fully Abstract Semantics for Constructor Systems....Pages 320-334
The $\\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)....Pages 335-349
Unification in the Description Logic $\\mathcal{EL}$ ....Pages 350-364
Unification with Singleton Tree Grammars....Pages 365-379
Unification and Narrowing in Maude 2.4....Pages 380-390
Back Matter....Pages -
