Processes, Terms and Cycles: Steps on the Road to Infinity [Risorsa elettronica] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540324256
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3838