CURRENTLY SOLD OUT

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by Aart Middeldorp, Femke van Raamsdonk, Roel de Vrijer, Vincent van Oostrom (Paperback, 2005)

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540309116
eBay Product ID (ePID)
94997929

Product Key Features

Author
Aart Middeldorp, Femke Van Raamsdonk, Roel De Vrijer, Vincent Van Oostrom
Publication Name
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
2005
Type
Textbook
Number of Pages
642 Pages

Dimensions

Item Height
233mm
Item Width
155mm
Volume
3838
Item Weight
2020g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Aart Middeldorp, Roel De Vrijer, Vincent Van Oostrom, Femke Van Raamsdonk
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)
5.0 out of 5 stars based on 6 product ratings
AU $41.64 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.40
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $124.20
Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)
AU $32.73
Trending at AU $36.70
BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays
AU $19.00
Trending at AU $22.18
It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $37.67
Ethical Practice in Applied Psychology 1st Edition by Christopher Boyle (English
AU $69.19
Trending at AU $72.64

Shop by category

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by Aart Middeldorp, Femke van Raamsdonk, Roel de Vrijer, Vincent van Oostrom (Paperback, 2005)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)

Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)

Save on Adult Learning & University

Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual

Netter Atlas of Human Anatomy: Classic Regional Approach

Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)

BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays

It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas

Ethical Practice in Applied Psychology 1st Edition by Christopher Boyle (English

You may also like

Mo Willems Paperback Fiction & Books

& Stan & Jan Berenstain Paperback Fiction Books

Non-Fiction Image Processing Paperback Fiction & Books

Road Atlas Paperbacks

Mo Willems Paperback Fiction & Fiction Books

Jan Somers Non-Fiction Books