Centrum Wiskunde & Informatica

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
Linguistics, logic, and finite trees Tech Report

P. Blackburn (Patrick) and W. P. M. Meyer Viol (Wilfried)

January 1994
Axioms for $ aleph_ 0 $-categorical orderings Tech Report

H.A.N. van Maanen

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

Previous

Next