CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Algebras, rings, and modules: Volume 1 Book
M. Hazewinkel (Michiel), N. Gubareni (Nadiya) and V.V. Kirichenko
January 2004 -
January 2004
-
Mass customization in ambient narratives Tech Report
January 2004
-
Preface: Recent advances in constraints Preface
K.R. Apt (Krzysztof), F. Fages, F. Rossi, P. Szeredi and J. Váncza
January 2004
-
January 2004
-
Abstraction of parallel uniform processes with data In Proceedings
J. Pang, J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)
January 2004
-
Solving Satisfiability of Ground Term Algebras Using DPLL and Unification In Proceedings
B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)
January 2004
-
January 2004