2 entries found.


PhD Computer Science



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