CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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
-
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
-
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.January 2002
-
January 2002
-
State Space Reduction by Proving Confluence In Proceedings
January 2002
-
Formal specification of javaspaces architecture using muCRL In Proceedings
January 2002
-
Index : Journal of logic programming 2002 Article
Journal of Logic and Algebraic Programming, 50(1-2), 1-3.January 2002
-
January 2002