CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Coding Theory Book Chapter
January 1996 -
Meta-variables in logic programming, or In praise of ambivalent syntax Article
Fundamenta Informaticae, 28(1-2), 23-36.January 1996 -
January 1996 -
January 1996 -
January 1996 -
Compressibility and resource bounded measure In Proceedings
January 1996 -
The meaning of negative premises in transition system specifications Article
Journal of the ACM, 43(5), 863-914.January 1996 -
On the role of Rouché's theorem in queueing analysis Article
Queueing Systems, 23(1-4), 281-291.J.W. Cohen and D.G. Down
January 1996