دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Natarajan Shankar, Harald Rueß (auth.), Sophie Tison (eds.) سری: Lecture Notes in Computer Science 2378 ISBN (شابک) : 3540439161, 9783540439165 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 396 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تکنیک ها و برنامه های بازنویسی: سیزدهمین کنفرانس بین المللی ، کپنهاگ RTA 2002 ، دانمارک ، مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق ها و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب 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، در کپنهاگ، دانمارک، در ژوئیه
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