Publication
-
The persistence of the classical computer architecture Article
CWI Quarterly, 3(4), 335-348.December 1990
-
Tidal calculations in the Netherlands, 1920-1960 Article
CWI Quarterly, 3(4), 285-302.December 1990
-
Primality proving with cyclotomy Dissertation
December 1990 -
An executable semantics for a subset of COLD Tech Report
January 1991
-
An analytical solution to the consistency problem for the Littlewood model in software reliability Tech Report
January 1991
-
January 1991 -
Geometric constraint satisfaction Tech Report
January 1991
-
January 1991