ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

دانلود کتاب تکنیک ها و برنامه های بازنویسی: سیزدهمین کنفرانس بین المللی ، کپنهاگ RTA 2002 ، دانمارک ، مجموعه مقالات

Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

مشخصات کتاب

Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 2378 
ISBN (شابک) : 3540439161, 9783540439165 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 396 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 32,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب تکنیک ها و برنامه های بازنویسی: سیزدهمین کنفرانس بین المللی ، کپنهاگ RTA 2002 ، دانمارک ، مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق ها و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تکنیک ها و برنامه های بازنویسی: سیزدهمین کنفرانس بین المللی ، کپنهاگ RTA 2002 ، دانمارک ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تکنیک ها و برنامه های بازنویسی: سیزدهمین کنفرانس بین المللی ، کپنهاگ RTA 2002 ، دانمارک ، مجموعه مقالات

این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین المللی تکنیک ها و کاربردهای بازنویسی، RTA 2002، در کپنهاگ، دانمارک، در ژوئیه 2002 برگزار شد.
20 مقاله معمولی، دو مقاله کاربردی، و چهار شرح سیستم همراه با سه شرح ارائه شده است. مشارکت های دعوت شده به دقت بررسی و از بین 49 مورد ارسالی انتخاب شدند. تمام جنبه های فعلی بازنویسی پرداخته شده است.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002.
The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.



فهرست مطالب

Combining Shostak Theories....Pages 1-18
Multiset Rewriting and Security Protocol Analysis....Pages 19-22
Engineering of Logics for the Content-Based Representation of Information....Pages 23-23
Axiomatic Rewriting Theory VI: Residual Theory Revisited....Pages 24-50
Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus....Pages 51-65
Exceptions in the Rewriting Calculus....Pages 66-82
Deriving Focused Lattice Calculi....Pages 83-97
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property....Pages 98-113
Decidability and Closure Properties of Equational Tree Languages....Pages 114-128
Regular Sets of Descendants by Some Rewrite Strategies....Pages 129-143
Rewrite Games....Pages 144-158
An Extensional Böhm Model....Pages 159-173
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution....Pages 174-191
Tradeoffs in the Intensional Representation of Lambda Terms....Pages 192-206
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae....Pages 207-221
Conditions for Efficiency Improvement by Tree Transducer Composition....Pages 222-236
Rewriting Strategies for Instruction Selection....Pages 237-251
Probabilistic Rewrite Strategies. Applications to ELAN....Pages 252-266
Loops of Superexponential Lengths in One-Rule String Rewriting....Pages 267-280
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems Research Paper....Pages 281-295
Termination of (Canonical) Context-Sensitive Rewriting....Pages 296-310
Atomic Set Constraints with Projection....Pages 311-325
Currying Second-Order Unification Problems....Pages 326-339
A Decidable Variant of Higher Order Matching....Pages 340-351
Combining Decision Procedures for Positive Theories Sharing Constructors....Pages 352-366
JITty: A Rewriter with Strategy Annotations....Pages 367-370
Autowrite: A Tool for Checking Properties of Term Rewriting Systems....Pages 371-375
TTSLI: An Implementation of Tree-Tuple Synchronized Languages....Pages 376-379
in 2 : A Graphical Interpreter for Interaction Nets....Pages 380-385




نظرات کاربران