Centrum Wiskunde & Informatica

A complete equational axiomatisation for prefix iteration Tech Report

W.J. Fokkink (Wan)

January 1994
Line segment rasterization in n-dimensional space Tech Report

C.A. Wüthrich

January 1994
Proofs of partial knowledge and simplified design of witness hiding protocols Tech Report

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and L.A.M. Schoenmakers (Berry)

January 1994
The $s$-semantics approach; theory and applications Tech Report

A. Bossi, M. Gabbrielli, G. Levi and M. Martelli

January 1994
Data mining : schatgraven in databases Tech Report

A.P.J.M. Siebes (Arno) and M. Holsheimer

January 1994
Initial algebra and final coalgebra semantics for concurrency Tech Report

J.J.M.M. Rutten (Jan) and D. Turi

January 1994
The Goblin database programming language Tech Report

M.L. Kersten (Martin), C.A. van den Berg (Carel), A.P.J.M. Siebes (Arno) and C.J.E. Thieme

January 1994
Explicit parallel two-step Runge-Kutta-Nyström methods Tech Report

N. Cong

January 1994

Previous

Next