Publication
-
Recursive assertions are not enough -- or are they? Article
Theoretical Computer Science, 73-87.January 1979
-
January 1979
-
Bounds for the variance of an inverse binomial estimator Article
Statistica Neerlandica, 33(4), 213-215.January 1979 -
January 1979
-
The linear spaces on 15 points : (preprint) Tech Report
January 1979 -
On intensionality in programming languages Tech Report
January 1979 -
January 1979 -
January 1979