Centrum Wiskunde & Informatica

Abstraction in real time process algebra Tech Report

A.S. Klusener (Steven)

January 1991
Lazy scanner generation for modular regular grammars Tech Report

P. Klint (Paul)

January 1991
Fast theorem proving in intuitionistic propositional logic Tech Report

M.I. Kanovich

January 1991
Analysis of parallel diagonal-implicit iteration of Runge-Kutta methods Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1991
Parallel step-by-step methods Tech Report

P.J. van der Houwen (Piet)

January 1991
Discretization of morphological operators Tech Report

H.J.A.M. Heijmans (Henk)

January 1991
Implementing higher-order algebraic specifications Tech Report

J. Heering (Jan)

January 1991
On solving the diophantine equation $ x^ 3 + y^ 3 + z^ 3 = k $ on a vector computer Tech Report

D.R. Heath-Brown, W.M. Lioen (Walter) and H.J.J. te Riele (Herman)

January 1991

Previous

Next