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 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
-
Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions II In Proceedings
January 2002 -
January 2002
-
Distribution of a simple shared dataspace architecture In Proceedings
January 2002