Stock image for illustration purposes only - book cover, edition or condition may vary.
Processes, Terms and Cycles - Steps on the Road to Infinity
Aart Middeldorp
€ 137.84
FREE Delivery in Ireland
Description for Processes, Terms and Cycles - Steps on the Road to Infinity
Paperback. Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 660 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 33. Weight in Grams: 2020.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
660
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
642
Place of Publication
Berlin, Germany
ISBN
9783540309116
SKU
V9783540309116
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Processes, Terms and Cycles - Steps on the Road to Infinity