Processes, Terms and Cycles

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the ?elds where Jan Willem has made fundamental contributions. Without attempting to give a balanced account of Jan Willem's scienti?c achievements, we recall three accomplishments from the early years of his career that especially stand out. The ?rst is his counterexample showing that the extension of the lambda calculus with surjective pairing lacks the Church-Rosserproperty, or, in modern terminology, is not con?uent [7,9]. This settled a famous open problem, which had challenged several researchers in the lambda calculus community for years. The secondis his pioneeringworkintermrewriting.In hisPhDthesis[9], Jan Willem gave a systematic study of orthogonal rewriting in the general setting of combinatoryreductionsystems(CRSs), therebyputtingtheareasofhigher-order rewriting and orthogonality ?rmly on the map. Some of the ideas in the thesis trace back to the famous Blue Preprint [2], from the period that Jan Willem and some other students were graduating in mathematics and logic, under the supervision of Dirk van Dalen and Henk Barendregt. The third feat is the creation, together with Jan Bergstra [23], of the algebra of communicating processes (ACP). With his early work, Jan Willem provided inspiration for many years of fru- ful research, continuing to this day. For decades he has been a creative and stimulating force in the areas of term rewriting and process algebra. Some of his recent interests are in?nitary rewriting, graph rewriting and the geometry of processes.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2005

نویسنده

A. Middeldorp

ناشر

Springer

شابک

9783540309116

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Processes, Terms and Cycles

Processes, Terms and Cycles

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2005

نویسنده

ناشر

شابک

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

Processes, terms and cycles: Steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Patterns for Effective Use Cases

Essential Software Architecture

Software reuse : methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 ; proceedings

Software Reuse

Processes, Terms and Cycles

Generative and Transformational Techniques in Software Engineering

Satellite Events at the Models 2005 Conference

Reuse of Off-The-Shelf Components

Transactions on Aspect-Oriented Software Development IV

Jewish Mystical Leaders and Leadership in the 13th Century

Superheroes and Philosophy

James Bond and Philosophy

Bullshit and Philosophy

Religion and Identity in South Asia and Beyond

Trillin on Texas

Liquid Bread

Existentialism and Contemporary Cinema

Chiasmus and Culture

The rise of Islam

Standardising English

دیدگاه کاربران