Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science (3838), Band 3838)

Raamsdonk

von: Roel de Vrijer · Femke van Raamsdonk · Aart Middeldorp · Vincent van Oostrom

Taschenbuch

ISBN-13: 978-3-540-30911-6

ISBN-10: 3-540-30911-X

Springer · 2008