Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday - Middeldorp, Aart.; Oostrom, Vincent; Raamsdonk, Femke; Vrijer, Roel.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Logic design; Artificial intelligence; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Foundations