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

Bibliographic Details

Other Authors:	Middeldorp, Aart, 1963-
Format:	Book
Language:	English
Published:	Berlin : Springer, [2005]
Series:	Lecture notes in computer science ; 3838.
Subjects:	Klop, J. W. Rewriting systems (Computer science) Lambda calculus. Processes, Infinite. Processes
Online Access:	Connect to the full text of this electronic book