Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, and Roel de Vrijer (eds.)
Lecture Notes in Computer Science 3838, 2005

BibTeX

@proceedings{JWK60, editor = "Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel de Vrijer", title = "Processes, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to {Jan Willem Klop} on the Occasion of his 60th Birthday", series = "Lecture Notes in Computer Science", volume = 3838, publisher = "Springer-Verlag", year = 2005, doi = "10.1007/11601548" }

Font Matter doi:10.1007/11601548

© Springer