01236nam--2200361---450-99000307096020331620080410124910.03-540-30911-X000307096USA01000307096(ALEPH)000307096USA0100030709620080227d2005----km-y0itay50------baengDE||||||||001yyProcesses, Terms and Cycles: Steps on the Road to InfinityEssays dedicated to Jan Willem Klop on the occasion of his 60th birthdayAart Middeldorp [et al.] (Eds.)Berlin (etc.)Springercopyr. 2005XVIII, 638 p.ill.24 cmLecture notes in computer scienceFestschrift38382001Lecture notes in computer science3838Logica matematicaProcessi511.3MIDDELDORP,AartITAsalbcISBD990003070960203316001 LNCS 383832915/CBS00100112959BKSCIANGELA9020080227USA010952ANGELA9020080410USA011249Processes, Terms and Cycles: Steps on the Road to Infinity772136UNISA