Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday

Aart Middeldorp Vincent van Oostrom Femke van Raamsdonk Roel C. de Vrijer Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday 3838 2005 3-540-30911-X Processes, Terms and Cycles Lecture Notes in Computer Science Springer db/conf/birthday/klop2005.html