دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
دانلود کتاب منطق علوم کامپیوتر: پانزدهمین کارگاه بین المللی، CSL 2001 دهمین کنفرانس سالانه EACSL پاریس، فرانسه، 10 تا 13 سپتامبر 2001، مجموعه مقالات
مشخصات کتاب
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.) سری: Lecture Notes in Computer Science 2142 ISBN (شابک) : 3540425543, 9783540425540 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 630 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب منطق علوم کامپیوتر: پانزدهمین کارگاه بین المللی، CSL 2001 دهمین کنفرانس سالانه EACSL پاریس، فرانسه، 10 تا 13 سپتامبر 2001، مجموعه مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علوم کامپیوتر: پانزدهمین کارگاه بین المللی، CSL 2001 دهمین کنفرانس سالانه EACSL پاریس، فرانسه، 10 تا 13 سپتامبر 2001، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق علوم کامپیوتر: پانزدهمین کارگاه بین المللی، CSL 2001 دهمین کنفرانس سالانه EACSL پاریس، فرانسه، 10 تا 13 سپتامبر 2001، مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کارگاه بین المللی منطق
علوم کامپیوتر، CSL 2001 است که به عنوان دهمین کنفرانس سالانه
EACSL در پاریس، فرانسه در سپتامبر 2001 برگزار شد.
39 مقاله کامل اصلاح شده همراه با دو مقاله دعوت شده ارائه شد. از
بین 91 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخش
های موضوعی در منطق خطی، پیچیدگی توصیفی، معناشناسی، برنامه های
مرتبه بالاتر، منطق مدل، تأیید، خودکار، حساب لامبدا، استقرا،
حساب معادله و نظریه سازنده انواع سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th
International Workshop on Computer Science Logic, CSL 2001,
held as the 10th Annual Conerence of the EACSL in Paris, France
in September 2001.
The 39 revised full papers presented together with two invited
papers were carefully reviewed and selected from 91
submissions. The papers are organized in topical sections on
linear logic, descriptive complexity, semantics, higher-order
programs, model logics, verification, automata, lambda
calculus, induction, equational calculus, and constructive
theory of types.
فهرست مطالب
Local Reasoning about Programs that Alter Data Structures....Pages 1-19
Applications of Alfred Tarski’s Ideas in Database Theory....Pages 20-37
Locus Solum: From the Rules of Logic to the Logic of Rules....Pages 38-38
The Expressive Power of Horn Monadic Linear Logic....Pages 39-53
Non-commutativity and MELL in the Calculus of Structures....Pages 54-68
Quadratic Correctness Criterion for Non-commutative Logic....Pages 69-83
Capture Complexity by Partition....Pages 84-98
An Existential Locality Theorem....Pages 99-114
Actual Arithmetic and Feasibility....Pages 115-129
The Natural Order-Generic Collapse for ω -Representable Databases over the Rational and the Real Ordered Group....Pages 130-144
An Algebraic Foundation for Higraphs....Pages 145-159
Semantic Characterisations of Second-Order Computability over the Real Numbers....Pages 160-172
An Abstract Look at Realizability....Pages 173-187
The Anatomy of Innocence....Pages 188-202
An Improved Extensionality Criterion for Higher-Order Logic Programs....Pages 203-216
A Logic for Abstract State Machines....Pages 217-231
Constrained Hyper Tableaux....Pages 232-246
Modal Logic and the Two-Variable Fragment....Pages 247-261
A Logic for Approximate First-Order Reasoning....Pages 262-276
Inflationary Fixed Points in Modal Logic....Pages 277-291
Categorical and Kripke Semantics for Constructive S4 Modal Logic....Pages 292-307
Labelled Natural Deduction for Interval Logics....Pages 308-323
Decidable Navigation Logics for Object Structures....Pages 324-338
The Decidability of Model Checking Mobile Ambients....Pages 339-354
A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem....Pages 355-368
An Effective Extension of the Wagner Hierarchy to Blind Counter Automata....Pages 369-383
Decision Procedure for an Extension of WS1S....Pages 384-398
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic....Pages 399-414
Intersection Logic....Pages 414-429
Life without the Terminal Type....Pages 429-442
Fully Complete Minimal PER Models for the Simply Typed λ-Calculus....Pages 443-457
A Principle of Induction....Pages 458-468
On a Generalisation of Herbrand’s Theorem....Pages 469-483
Well-Founded Recursive Relations....Pages 484-498
Stratified Context Unification Is in PSPACE....Pages 498-513
Uniform Derivation of Decision Procedures by Superposition....Pages 513-527
Complete Categorical Equational Deduction....Pages 528-538
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories....Pages 539-553
Normalized Types....Pages 554-569
Markov’s Principle for Propositional Type Theory....Pages 570-584
Recursion for Higher-Order Encodings....Pages 585-599
Monotone Inductive and Coinductive Constructors of Rank 2....Pages 600-614
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
دانلود کتاب Computer Law
دانلود کتاب First Steps With The SCA Designer
دانلود کتاب Managing Next Generation Networks and Services: 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007. Proceedings
دانلود کتاب Lighting by Design
دانلود کتاب Online Communities and Social Computing: Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
دانلود کتاب Between Mind and Computer: Fuzzy Science and Engineering
دانلود کتاب Digital Design for Computer Data Acquisition
دانلود کتاب TIFF Image Format Specification
