Processes, Terms and Cycles: Steps on the Road to Infinity

4.11 - 1251 ratings - Source

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.Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday Aart
Middeldorp. Reducing. Right-Hand. Sides. for. Termination. Hans Zantema
Department of Computer Science, TU Eindhoven, P.O. Box 513, 5600 MB,
Eindhoven, anbsp;...

Title

:

Processes, Terms and Cycles: Steps on the Road to Infinity

Author

:

Aart Middeldorp

Publisher

:

Springer Science & Business Media - 2005-12-13

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.