Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on - detaljert visning

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Aart Middeldorp ... [et al.] (eds.)
Bok Engelsk 2005


Utgitt	Berlin : Springer , c2005
Omfang	XVIII, 638 s. : ill.
Opplysninger	"Bibliography of Jan Willem Klop": s. [XI]-XVI. - På omslaget: Festschrift
Emner	Klop, J.W. Programmering matematisk logikk lambdakalkyle
ISBN	354030911X. - 9783540309116