Note: this thesis repository might be incomplete for certain programmes.

2 entries found.


PhD Computer Science



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