CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1990 -
January 1990 -
Acyclic programs (extended abstract) In Proceedings
January 1990
-
Kolmogorov complexity and its applications Book Chapter
January 1990 -
Reactive, generative, and stratified models of probabilistic processes In Proceedings
R.J. van Glabbeek (Rob), S.A. Smolka, B. Steffen and C.M.N. Tofts
January 1990 -
Three logics for branching bisimulation In Proceedings
January 1990 -
A Method for the Acquisition of Formalized Knowledge in Pathology Article
Methods of Information in Medicine, 29(3), 182-192.A.M. van Ginneken, W. Jansen, A.W.M. Smeulders (Arnold), J. van der Lei and J.P.A. Baak
January 1990
-
Automated Estimation of Epithelial Volume in Breast Cancer Sections: A Comparison with the Image Processing Steps Applied to Gynecologic Tumors Article
Pathology Research and Practice, 186(6), 737-744.January 1990