Recent advances in constraints Book

Abstraction of parallel uniform processes with data In Proceedings

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

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)

Hopf algebras : their status and pervasiveness Unpublished

M. Hazewinkel (Michiel)

Mathematical knowledge management is needed In Proceedings

M. Hazewinkel (Michiel)

A State Space Distribution Policy based on Abstract Interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

Hopf algebras of endomorphisms of Hopf algebras Unpublished

M. Hazewinkel (Michiel)

Keyphrase assignment. Comparison between 'identification cloud' based automatic methods and human experts Tech Report

M. Hazewinkel (Michiel)