مشخصات کتاب

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: Robin Milner (auth.),  Aart Middeldorp,  Vincent van Oostrom,  Femke van Raamsdonk,  Roel de Vrijer (eds.)  
سری: Lecture Notes in Computer Science 3838 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 354030911X, 9783540309116 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 654 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب فرآیندها، شرایط و چرخه: مراحل راه رفتن به بی نهایت: مقالات اختصاص یافته به جان ویلم کلوپ به مناسبت 60 سالگی او: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و مبانی

در صورت تبدیل فایل کتاب Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب فرآیندها، شرایط و چرخه: مراحل راه رفتن به بی نهایت: مقالات اختصاص یافته به جان ویلم کلوپ به مناسبت 60 سالگی او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب فرآیندها، شرایط و چرخه: مراحل راه رفتن به بی نهایت: مقالات اختصاص یافته به جان ویلم کلوپ به مناسبت 60 سالگی او



این Festschrift به مناسبت تولد 60 سالگی جان ویلم کلوپ تقدیم شده است. این جلد در مجموع شامل 23 مقاله علمی توسط دوستان و همکاران نزدیک است که به طور خاص برای این کتاب نوشته شده است. مقالات ماهیت متفاوتی دارند: برخی از تحقیقات جدید گزارش می‌دهند، برخی دیگر ویژگی یک نظرسنجی دارند، و دوباره برخی دیگر عمدتاً توضیحی هستند.

هر مشارکت حداقل دو بار به‌طور کامل داوری شده است. در بسیاری از موارد دور اول گزارش های داوران منجر به بازنگری قابل توجهی در مقاله اصلی شد که دوباره مورد بررسی قرار گرفت. مقالات به ویژه بر حساب لامبدا، بازنویسی اصطلاح و جبر فرآیند تمرکز دارند، زمینه هایی که یان ویلم کلوپ در آنها مشارکت اساسی داشته است.

توضیحاتی درمورد کتاب به خارجی

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and colleagues, written specifically for this book. The papers are different in nature: some report on new research, others have the character of a survey, and again others are mainly expository.

Every contribution has been thoroughly refereed at least twice. In many cases the first round of referee reports led to significant revision of the original paper, which was again reviewed. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.

فهرست مطالب

Front Matter....Pages -
The Spectra of Words....Pages 1-5
On the Undecidability of Coherent Logic....Pages 6-13
Löb’s Logic Meets the μ -Calculus....Pages 14-25
A Characterisation of Weak Bisimulation Congruence....Pages 26-39
Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms....Pages 40-54
Explaining Constraint Programming....Pages 55-69
Sharing in the Weak Lambda-Calculus....Pages 70-87
Term Rewriting Meets Aspect-Oriented Programming....Pages 88-105
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes....Pages 106-126
Primitive Rewriting....Pages 127-147
Infinitary Rewriting: From Syntax to Semantics....Pages 148-172
Reducing Right-Hand Sides for Termination....Pages 173-197
Reduction Strategies for Left-Linear Term Rewriting Systems....Pages 198-223
Higher-Order Rewriting: Framework, Confluence and Termination....Pages 224-250
Timing the Untimed: Terminating Successfully While Being Conservative....Pages 251-279
Confluence of Graph Transformation Revisited....Pages 280-308
Compositional Reasoning for Probabilistic Finite-State Behaviors....Pages 309-337
Finite Equational Bases in Process Algebra: Results and Open Questions....Pages 338-367
Skew and ω -Skew Confluence and Abstract Böhm Semantics....Pages 368-403
A Mobility Calculus with Local and Dependent Types....Pages 404-444
Model Theory for Process Algebra....Pages 445-495
Expression Reduction Systems and Extensions: An Overview....Pages 496-553
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem....Pages 554-638
Back Matter....Pages -

نظرات کاربران

کتاب های مرتبط

دانلود کتاب Axiom: Volume 10.5: Axiom Algebra: Numerics

دانلود کتاب Pamięci maszyn cyfrowych - konstrukcja i technologia

دانلود کتاب Non-Software Examples of Software Design Patterns

دانلود کتاب Human-Computer Interaction: An Empirical Research Perspective

دانلود کتاب Rapid Graphs with Tableau 8: The Original Guide for the Accidental Analyst

دانلود کتاب Blender 3D - Physically Realistic Animation

دانلود کتاب Term rewriting and all that

دانلود کتاب Careers in Computers

دانلود کتاب Understanding Digital Computers

دانلود کتاب Wireless Sensor Networks: 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings