Centrum Wiskunde & Informatica

Rare enemies and rare friends: adaptations that make other adaptations maladaptive Tech Report

R. Planqué (Robert), N.R. Franks and N.F. Britton

January 2002
Computing special functions by using quadrature rules Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2002
Two solutions to incorporate zero, successor and equality in binary decision diagrams Tech Report

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2002
A coordination-based framework for distributed constraint solving Tech Report

P. Zoeteweij (Peter)

January 2002
Cones and foci for protocol verification revisited Tech Report

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2002
A new coalgebraic semantics for positive modal logic Tech Report

A. Palmigiano

January 2002
Lifting infinite normal form definitions from term rewriting to term graph rewriting Tech Report

S.C.C. Blom (Stefan)

January 2002
Observational logic, constructor-based logic, and their duality Tech Report

M. Bidoit, R. Hennicker and A. Kurz (Alexander)

January 2002

Previous

Next