دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
دانلود کتاب منطق علوم کامپیوتر: بیست و سومین کارگاه بین المللی، CSL 2009، هجدهمین کنفرانس سالانه EACSL، کویمبرا، پرتغال، 7-11 سپتامبر 2009. مجموعه مقالات
مشخصات کتاب
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ویرایش: [1 ed.] نویسندگان: Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.) سری: Lecture Notes in Computer Science 5771 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642040268, 9783642040269 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 567 [576] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علوم کامپیوتر: بیست و سومین کارگاه بین المللی، CSL 2009، هجدهمین کنفرانس سالانه EACSL، کویمبرا، پرتغال، 7-11 سپتامبر 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق علوم کامپیوتر: بیست و سومین کارگاه بین المللی، CSL 2009، هجدهمین کنفرانس سالانه EACSL، کویمبرا، پرتغال، 7-11 سپتامبر 2009. مجموعه مقالات
کنفرانس سالانه انجمن اروپایی منطق علوم کامپیوتر (EACSL)، CSL 2009، در کویمبرا (پرتغال)، 7 تا 11 سپتامبر 2009 برگزار شد. مجموعه کنفرانس به عنوان برنامه ای از کارگاه های بین المللی در زمینه منطق علوم کامپیوتر آغاز شد. و سپس در ششمین نشست خود به کنفرانس سالانه EACSL تبدیل شد. این کنفرانس بیست و سومین نشست و هجدهمین کنفرانس EACSL بود. در گروه ریاضیات، دانشکده علم و فناوری، دانشگاه کویمبرا سازماندهی شد. در پاسخ به فراخوان مقاله، در مجموع 122 چکیده به CSL 2009 ارسال شد که 89 مورد توسط یک مقاله کامل دنبال شد. کمیته برنامه 34 مقاله را برای ارائه در کنفرانس و انتشار در این مجموعه انتخاب کرد. جایزه Ackermann جایزه پایان نامه برجسته EACSL برای منطق در علوم کامپیوتر است. دریافت کننده جایزه برای سال 2009 Jakob Nordstr¨ om بود. استناد جایزه، چکیده پایان نامه، و طرح زندگی نامه گیرنده را می توان در پایان جلسات یافت. این جایزه برای سال های 2007-2009 توسط Logitech S.A.
حمایت مالی شد.توضیحاتی درمورد کتاب به خارجی
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7–11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007–2009 by Logitech S.A.
فهرست مطالب
Front Matter....Pages -
Algebra for Tree Languages....Pages 1-1
Forcing and Type Theory....Pages 2-2
Functional Interpretations of Intuitionistic Linear Logic....Pages 3-19
Fixed-Point Definability and Polynomial Time....Pages 20-23
Kleene’s Amazing Second Recursion Theorem....Pages 24-39
Typed Applicative Structures and Normalization by Evaluation for System F ω ....Pages 40-54
Jumping Boxes....Pages 55-70
Tree-Width for First Order Formulae....Pages 71-85
Algorithmic Analysis of Array-Accessing Programs....Pages 86-101
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems....Pages 102-116
Cardinality Quantifiers in MLO over Trees....Pages 117-131
From Coinductive Proofs to Exact Real Arithmetic....Pages 132-146
On the Relation between Sized-Types Based Termination and Semantic Labelling....Pages 147-162
Expanding the Realm of Systematic Proof Theory....Pages 163-178
EXPTIME Tableaux for the Coalgebraic μ -Calculus....Pages 179-193
On the Word Problem for ${\\it \\Sigma\\Pi}$ -Categories, and the Properties of Two-Way Communication....Pages 194-208
Intersection, Universally Quantified, and Reference Types....Pages 209-224
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata....Pages 225-239
Enriching an Effect Calculus with Linear Types....Pages 240-254
Degrees of Undecidability in Term Rewriting....Pages 255-270
Upper Bounds on Stream I/O Using Semantic Interpretations....Pages 271-286
Craig Interpolation for Linear Temporal Languages....Pages 287-301
On Model Checking Boolean BI....Pages 302-316
Efficient Type-Checking for Amortised Heap-Space Analysis....Pages 317-331
Deciding the Inductive Validity of ∀ ∃ * Queries....Pages 332-347
On the Parameterised Intractability of Monadic Second-Order Logic....Pages 348-363
Automatic Structures of Bounded Degree Revisited....Pages 364-378
Nondeterminism and Observable Sequentiality....Pages 379-393
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions....Pages 394-408
Focalisation and Classical Realisability....Pages 409-423
Decidable Extensions of Church’s Problem....Pages 424-439
Nested Hoare Triples and Frame Rules for Higher-Order Store....Pages 440-454
A Complete Characterization of Observational Equivalence in Polymorphic λ -Calculus with General References....Pages 455-469
Non-Commutative First-Order Sequent Calculus....Pages 470-484
Model Checking FO (R) over One-Counter Processes and beyond....Pages 485-499
Confluence of Pure Differential Nets with Promotion....Pages 500-514
Decision Problems for Nash Equilibria in Stochastic Games....Pages 515-529
On the Complexity of Branching-Time Logics....Pages 530-545
Nominal Domain Theory for Concurrency....Pages 546-560
The Ackermann Award 2009....Pages 561-565
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Computational Economics: A concise introduction
دانلود کتاب Strategic management
دانلود کتاب Worker-Student Action Committees: France, May '68
دانلود کتاب Experimental Neutron Resonance Spectroscopy
