دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
دانلود کتاب منطق علوم کامپیوتر: شانزدهمین کارگاه بین المللی ، CSL 2002 یازدهمین کنفرانس سالانه EACSL ادینبورگ ، اسکاتلند ، انگلستان ، 22 تا 25 سپتامبر ، مجموعه مقالات
مشخصات کتاب
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
ویرایش: 1 نویسندگان: Susumu Hayashi, Yohji Akama (auth.), Julian Bradfield (eds.) سری: Lecture Notes in Computer Science 2471 ISBN (شابک) : 9783540442400, 3540442405 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 630 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب منطق علوم کامپیوتر: شانزدهمین کارگاه بین المللی ، CSL 2002 یازدهمین کنفرانس سالانه EACSL ادینبورگ ، اسکاتلند ، انگلستان ، 22 تا 25 سپتامبر ، مجموعه مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علوم کامپیوتر: شانزدهمین کارگاه بین المللی ، CSL 2002 یازدهمین کنفرانس سالانه EACSL ادینبورگ ، اسکاتلند ، انگلستان ، 22 تا 25 سپتامبر ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق علوم کامپیوتر: شانزدهمین کارگاه بین المللی ، CSL 2002 یازدهمین کنفرانس سالانه EACSL ادینبورگ ، اسکاتلند ، انگلستان ، 22 تا 25 سپتامبر ، مجموعه مقالات
کنفرانس سالانه انجمن اروپایی منطق علوم کامپیوتر، CSL 2002، در کالج قدیمی دانشگاه ادینبورگ در 22 تا 25 سپتامبر 2002 برگزار شد. مجموعه کنفرانس به عنوان برنامه ای از کارگاه های آموزشی بین المللی در زمینه کامپیوتر آغاز شد. Science Logic، و سپس در ششمین جلسه خود تبدیل به کنفرانس سالانه EACSL شد. این کنفرانس شانزدهمین نشست و یازدهمین کنفرانس EACSL بود. توسط آزمایشگاه مبانی علوم کامپیوتر در دانشگاه ادینبورگ سازماندهی شد. کمیته برنامه CSL 2002 111 مورد ارسالی از 28 کشور را طی یک بحث الکترونیکی دو هفته ای مورد بررسی قرار داد. هر مقاله توسط حداقل سه داور داوری شد. کمیته 37 مقاله را برای ارائه در کنفرانس و انتشار در این مجموعه انتخاب کرد. کمیته برنامه سخنرانی‌هایی را از سوسومو هایاشی، فرانک نون و دامیان نیوینسکی دعوت کرد. مقالات ارائه شده توسط سخنرانان دعوت شده در جلوی این جلد آمده است. علاوه بر کنفرانس اصلی، دو آموزش - "مقدمه ای بر محاسبات" (جولیان براد الد) و "پیچیدگی پارامتری شده" (مارتین گروه) - در روز قبل ارائه شد.
توضیحاتی درمورد کتاب به خارجی
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.
فهرست مطالب
Limit-Computable Mathematics and Its Applications....Pages 1-1
Automata, Logic, and XML....Pages 2-26
μ-Calculus via Games (Extended Abstract)....Pages 27-44
Bijections between Partitions by Two-Directional Rewriting Techniques....Pages 44-58
On Continuous Normalization....Pages 59-74
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle....Pages 74-88
Compactness and Continuity, Constructively Revisited....Pages 89-102
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism....Pages 103-119
A Fixpoint Theory for Non-monotonic Parallelism....Pages 120-134
Greibach Normal Form in Algebraically Complete Semirings....Pages 135-150
Proofnets and Context Semantics for the Additives....Pages 151-166
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming....Pages 167-182
Resource Tableaux....Pages 183-199
Configuration Theories....Pages 200-215
A Logic for Probabilities in Semantics....Pages 216-232
Possible World Semantics for General Storage in Call-By-Value....Pages 232-246
A Fully Abstract Relational Model of Syntactic Control of Interference....Pages 247-261
Optimal Complexity Bounds for Positive LTL Games....Pages 262-275
The Stuttering Principle Revisited: On the Expressiveness of Nested X and ⋃ Operators in the Logic LTL....Pages 276-291
Trading Probability for Fairness....Pages 292-305
A Logic of Probability with Decidable Model-Checking....Pages 306-321
Solving Pushdown Games with a ∑ 3 Winning Condition....Pages 322-336
Partial Fixed-Point Logic on Infinite Structures....Pages 337-351
On the Variable Hierarchy of the Modal μ-Calculus....Pages 352-366
Implicit Computational Complexity for Higher Type Functionals....Pages 367-381
On Generalizations of Semi-terms of Particularly Simple Form....Pages 382-397
Local Problems, Planar Local Problems and Linear Time....Pages 397-411
Equivalence and Isomorphism for Boolean Constraint Satisfaction....Pages 412-426
Travelling on Designs....Pages 427-441
Designs, Disputes and Strategies....Pages 442-457
Classical Linear Logic of Implications....Pages 458-472
Higher-Order Positive Set Constraints....Pages 473-489
A Proof Theoretical Account of Continuation Passing Style....Pages 490-505
Duality between Call-by-Name Recursion and Call-by-Value Iteration....Pages 506-521
Decidability of Bounded Higher-Order Unification....Pages 522-537
Open Proofs and Open Terms: A Basis for Interactive Logic....Pages 537-552
Logical Relations for Monadic Types....Pages 553-568
On the Automatizability of Resolution and Related Propositional Proof Systems....Pages 569-583
Extraction of Proofs from the Clausal Normal Form Transformation....Pages 584-598
Resolution Refutations and Propositional Proofs with Height-Restrictions....Pages 599-612
