دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
دانلود کتاب منطق کامپیوتر علم: 20 کارگاه بین المللی، CSL 2006، 15th کنفرانس سالانه EACSL، Szeged، مجارستان، 25-29 سپتامبر 2006. پرونده ها
مشخصات کتاب
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Paul-André Melliès (auth.), Zoltán Ésik (eds.) سری: Lecture Notes in Computer Science 4207 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540454586, 9783540454588 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 638 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب منطق کامپیوتر علم: 20 کارگاه بین المللی، CSL 2006، 15th کنفرانس سالانه EACSL، Szeged، مجارستان، 25-29 سپتامبر 2006. پرونده ها: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق کامپیوتر علم: 20 کارگاه بین المللی، CSL 2006، 15th کنفرانس سالانه EACSL، Szeged، مجارستان، 25-29 سپتامبر 2006. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق کامپیوتر علم: 20 کارگاه بین المللی، CSL 2006، 15th کنفرانس سالانه EACSL، Szeged، مجارستان، 25-29 سپتامبر 2006. پرونده ها
این کتاب مجموعه مقالات داوری بیستمین کارگاه بین المللی منطق علوم کامپیوتر، CSL 2006 است که به عنوان پانزدهمین کنفرانس سالانه EACSL در Szeged، مجارستان در سپتامبر 2006 برگزار شد.
37 مورد بازبینی کامل شده است. مقالات ارائه شده همراه با 4 مشارکت دعوت شده به دقت بررسی و از بین 132 مورد ارسالی انتخاب شدند. تمام جنبه‌های کنونی منطق در علوم کامپیوتر شامل استنتاج خودکار و اثبات قضیه تعاملی، ریاضیات سازنده و نظریه نوع، منطق معادلات و بازنویسی اصطلاحات، منطق‌های خودکار و صوری، منطق معین و زمانی، بررسی مدل، جنبه‌های منطقی پیچیدگی محاسباتی، نظریه مدل محدود، نظریه اثبات محاسباتی، برنامه‌نویسی منطقی و محدودیت‌ها، حساب لامبدا و منطق ترکیبی، منطق طبقه‌بندی و معناشناسی توپولوژیکی، نظریه دامنه، نظریه پایگاه داده، مشخصات، استخراج و تبدیل برنامه‌ها، مبانی منطقی پارادایم‌های برنامه‌نویسی، تأیید پروتکل‌های امنیتی، منطق خطی، منطق مرتبه بالاتر، استدلال غیر یکنواخت، و همچنین منطق و سیستم های نوع برای زیست شناسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006, held as the 15th Annual Conference of the EACSL in Szeged, Hungary in September 2006.
The 37 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 132 submissions. All current aspects of logic in computer science are addressed, including automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification of security protocols, linear logic, higher-order logic, nonmonotonic reasoning, as well as logics and type systems for biology.
فهرست مطالب
Front Matter....Pages -
Functorial Boxes in String Diagrams....Pages 1-30
Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)....Pages 31-40
Automata and Logics for Words and Trees over an Infinite Alphabet....Pages 41-57
Nonmonotonic Logics and Their Algebraic Foundations....Pages 58-71
Semi-continuous Sized Types and Termination....Pages 72-88
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation....Pages 89-103
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata....Pages 104-118
The Power of Linear Functions....Pages 119-134
Logical Omniscience Via Proof Complexity....Pages 135-149
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic....Pages 150-166
MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay....Pages 167-181
Abstracting Allocation....Pages 182-196
Collapsibility in Infinite-Domain Quantified Constraint Satisfaction....Pages 197-211
Towards an Implicit Characterization of NC k ....Pages 212-224
On Rational Trees....Pages 225-239
Reasoning About States of Probabilistic Sequential Programs....Pages 240-255
Concurrent Games with Tail Objectives....Pages 256-270
Nash Equilibrium for Upward-Closed Objectives....Pages 271-286
Algorithms for Omega-Regular Games with Imperfect Information....Pages 287-302
Relating Two Standard Notions of Secrecy....Pages 303-318
Jump from Parallel to Sequential Proofs: Multiplicatives....Pages 319-333
First-Order Queries over One Unary Function....Pages 334-348
Infinite State Model-Checking of Propositional Dynamic Logics....Pages 349-364
Weak Bisimulation Approximants....Pages 365-379
Complete Problems for Higher Order Logics....Pages 380-394
Solving Games Without Determinization....Pages 395-410
Game Quantification on Automatic Structures and Hierarchical Model Checking Games....Pages 411-425
An Algebraic Point of View on the Crane Beach Property....Pages 426-440
A Sequent Calculus for Type Theory....Pages 441-455
Universality Results for Models in Locally Boolean Domains....Pages 456-470
Universal Structures and the Logic of Forbidden Patterns....Pages 471-485
On the Expressive Power of Graph Logic....Pages 486-500
Hoare Logic in the Abstract....Pages 501-515
Normalization of IZF with Replacement....Pages 516-530
Acyclicity and Coherence in Multiplicative Exponential Linear Logic....Pages 531-545
Church Synthesis Problem with Parameters....Pages 546-561
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates....Pages 562-574
Separation Logic for Higher-Order Store....Pages 575-590
Satisfiability and Finite Model Property for the Alternating-Time μ -Calculus....Pages 591-605
Space-Efficient Computation by Interaction....Pages 606-621
The Ackermann Award 2006....Pages 622-626
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
دانلود کتاب Comparative Genomics: RECOMB 2006 International Workshop, RCG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
دانلود کتاب Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
دانلود کتاب Jewels of formal language theory
دانلود کتاب SOFSEM’99: Theory and Practice of Informatics: 26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings
دانلود کتاب Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
دانلود کتاب Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers
دانلود کتاب A Study in String Processing Languages
