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 2000 -
January 2000 -
January 2000 -
A logic for coalgebraic simulation In Proceedings
January 2000
-
Efficient annotated terms Tech Report
M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and P.A. Olivier (Pieter)
January 2000
-
Polynomial instances of the positive semidefinite and Euclidean distance matrix completion problems Article
SIAM Journal on Matrix Analysis and Applications, 22(3), 874-894.January 2000
-
Towards an algorithmic statistics (extended abstract) In Proceedings
P. Gacs (Péter), J.T. Tromp (John) and P.M.B. Vitányi (Paul)
January 2000 -
Equational binary decision diagrams In Proceedings
January 2000