ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

دانلود کتاب تکنیک های بازنویسی و برنامه های کاربردی: 15th International Conference، RTA 2004، Aachen، Germany، 3-5 ژوئن 2004. پرونده ها

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

مشخصات کتاب

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 3091 
ISBN (شابک) : 3540221530, 9783540259794 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2004 
تعداد صفحات: 324 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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



کلمات کلیدی مربوط به کتاب تکنیک های بازنویسی و برنامه های کاربردی: 15th International Conference، RTA 2004، Aachen، Germany، 3-5 ژوئن 2004. پرونده ها: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری



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

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


در صورت تبدیل فایل کتاب Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تکنیک های بازنویسی و برنامه های کاربردی: 15th International Conference، RTA 2004، Aachen، Germany، 3-5 ژوئن 2004. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تکنیک های بازنویسی و برنامه های کاربردی: 15th International Conference، RTA 2004، Aachen، Germany، 3-5 ژوئن 2004. پرونده ها

این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین المللی تکنیک ها و کاربردهای بازنویسی، RTA 2004، در آخن، آلمان در ژوئن 2004 است.


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

This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany in June 2004.



فهرست مطالب

Front Matter....Pages -
Termination Analysis of the Untyped λ -Calculus....Pages 1-23
A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems....Pages 24-39
Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms....Pages 40-54
Monadic Second-Order Unification Is NP-Complete....Pages 55-69
A Certified AC Matching Algorithm....Pages 70-84
Matchbox : A Tool for Match-Bounded String Rewriting....Pages 85-94
TORPA: Termination of Rewriting Proved Automatically....Pages 95-104
Querying Unranked Trees with Stepwise Tree Automata....Pages 105-118
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation....Pages 119-133
Rewriting for Fitch Style Natural Deductions....Pages 134-154
Efficient λ -Evaluation with Interaction Nets....Pages 155-169
Proving Properties of Term Rewrite Systems via Logic Programs....Pages 170-184
On the Modularity of Confluence in Infinitary Term Rewriting....Pages 185-199
mu-term : A Tool for Proving Termination of Context-Sensitive Rewriting....Pages 200-209
Automated Termination Proofs with AProVE ....Pages 210-220
An Approximation Based Approach to Infinitary Lambda Calculi....Pages 221-232
Böhm-Like Trees for Term Rewriting Systems....Pages 233-248
Dependency Pairs Revisited....Pages 249-268
Inductive Theorems for Higher-Order Rewriting....Pages 269-284
The Joinability and Unification Problems for Confluent Semi-constructor TRSs....Pages 285-300
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems....Pages 301-311
Back Matter....Pages -




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