PhD Computer Science



1999
Student Thesis Content
Kamsteeg, G. (Gertjan)Formalization of Process Algebra with Data in the Calculus of Constructions with Inductive Types
Kemenade, C.H.M. (Cees) van Recombinative Evolutionary Search