CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Area-interaction point processes Article
Annals of the Institute of Statistical Mathematics, 601-619.A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)
January 1995
-
Stochastic geometry models in image analysis and spatial statistics Article
Statistica Neerlandica, 1-1.January 1995
-
Two different strong normalization proofs? - computability versus functionals of finite type - In Proceedings
January 1995
-
Strict functionals for termination proofs In Proceedings
January 1995
-
Are relativistic effects significant for the analysis of whistler-mode waves in the earth's magnetosphere? Book Chapter
January 1995 -
Parameters and parametrization in specification, using distributive categories Article
Fundamenta Informaticae, 24(3), 209-250.January 1995 -
Physics and the new computation In Proceedings
January 1995 -
Mathematical classification of complete chaos In Proceedings
January 1995