دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Randal E. Bryant (auth.), Frank Pfenning (eds.) سری: Lecture Notes in Computer Science 4098 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540368345, 9783540368342 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 425 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب بازنویسی مدت و برنامه های کاربردی: هفدهمین کنفرانس بین المللی ، RTA 2006 سیاتل ، WA ، ایالات متحده ، 12-14 اوت 2006 مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق ها و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بازنویسی مدت و برنامه های کاربردی: هفدهمین کنفرانس بین المللی ، RTA 2006 سیاتل ، WA ، ایالات متحده ، 12-14 اوت 2006 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین المللی تکنیک ها و کاربردهای بازنویسی، RTA 2006 است که در سیاتل، WA، ایالات متحده آمریکا در اوت 2006 در چارچوب FLoC 2006، کنفرانس منطق فدرال 2006 برگزار شد.
23 مقاله کامل اصلاح شده و 4 مقاله شرح سیستم که به دقت بررسی شده و از بین 52 ارسال اولیه انتخاب شده اند همراه با 2 سخنرانی دعوت شده و یک سخنرانی عمومی از میزبانی کنفرانس FLoC ارائه شده است. مقالات در بخشهای موضوعی در مورد محدودیتها و بهینهسازی، استدلال معادلهای، تأیید سیستم، حساب لامبدا، اثبات قضیه، توضیحات سیستم، خاتمه، و بازنویسی و یکسانسازی مرتبه بالاتر سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006 within the scope of FLoC 2006, the 2006 Federated Logic Conference.
The 23 revised full papers and 4 systems description papers carefully reviewed and selected from 52 initial submissions are presented together with 2 invited talks and a plenary talk of the hosting FLoC conference. The papers are organized in topical sections on constraints and optimization, equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, and higher-order rewriting and unification.
Front Matter....Pages -
Formal Verification of Infinite State Systems Using Boolean Methods....Pages 1-3
Solving Partial Order Constraints for LPO Termination....Pages 4-18
Computationally Equivalent Elimination of Conditions....Pages 19-34
On the Correctness of Bubbling....Pages 35-49
Propositional Tree Automata....Pages 50-65
Generalizing Newman’s Lemma for Left-Linear Rewrite Systems....Pages 66-80
Unions of Equational Monadic Theories....Pages 81-95
Modular Church-Rosser Modulo....Pages 96-107
Hierarchical Combination of Intruder Theories....Pages 108-122
Feasible Trace Reconstruction for Rewriting Approximations....Pages 123-135
Rewriting Models of Boolean Programs....Pages 136-150
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ -Calculus....Pages 151-165
A Terminating and Confluent Linear Lambda Calculus....Pages 166-180
A Lambda-Calculus with Constructors....Pages 181-196
Structural Proof Theory as Rewriting....Pages 197-211
Checking Conservativity of Overloaded Definitions in Higher-Order Logic....Pages 212-226
Certified Higher-Order Recursive Path Ordering....Pages 227-241
Dealing with Non-orientable Equations in Rewriting Induction....Pages 242-256
TPA: Termination Proved Automatically....Pages 257-266
RAPT : A Program Transformation System Based on Term Rewriting....Pages 267-276
The CL-Atse Protocol Analyser....Pages 277-286
Slothrop : Knuth-Bendix Completion with a Modern Termination Checker....Pages 287-296
Automated Termination Analysis for Haskell : From Term Rewriting to Programming Languages....Pages 297-312
Predictive Labeling....Pages 313-327
Termination of String Rewriting with Matrix Interpretations....Pages 328-342
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems....Pages 343-356
Proving Positive Almost Sure Termination Under Strategies....Pages 357-371
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property....Pages 372-386
Higher-Order Orderings for Normal Rewriting....Pages 387-399
Bounded Second-Order Unification Is NP-Complete....Pages 400-414
Back Matter....Pages -