CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Program verification and prolog Tech Report
January 1994
-
Fast, randomized join-order selection : why use transformations? Tech Report
C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)
January 1994
-
January 1994
-
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
January 1994
-
January 1994
-
January 1994