Centrum Wiskunde & Informatica

Review of: 'The honours class' by B. Yandell Article

M. Hazewinkel (Michiel)

January 2002
Moa: extensibility and efficiency in querying nested data Tech Report

M. van Keulen, J. Vonk, A.P. de Vries (Arjen), J. Flokstra and H.E. Blok (Henk Ernst)

January 2002
Review of "Mathematical logic for computer science (second revised edition)" by Mordechai Ben-Ari, Springer 2001 Article

Theory and Practice of Logic Programming, 2(1), 123-124.

K.R. Apt (Krzysztof)

January 2002
Refinement and verification applied to an in-flight data acquisitation unit In Proceedings

W.J. Fokkink (Wan), N. Ioustinova (Natalia), E. Kesseler, J.C. van de Pol (Jaco), Y.S. Usenko (Yaroslav) and Y. Yushtein (Yuri)

January 2002
JITty: a Rewriter with Strategy Annotations In Proceedings

J.C. van de Pol (Jaco)

January 2002
State Space Reduction by Proving Confluence In Proceedings

S.C.C. Blom (Stefan) and J.C. van de Pol (Jaco)

January 2002
Formal specification of javaspaces architecture using muCRL In Proceedings

J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

January 2002
Index : Journal of logic programming 2002 Article

Journal of Logic and Algebraic Programming, 50(1-2), 1-3.

M. Hazewinkel (Michiel)

January 2002

Previous

Next