CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1987 -
January 1987 -
Multigrid and defect correction for the efficient solution of the steady Euler equations In Proceedings
January 1987 -
Decidability of bisimulation equivalence for processes generating context-free languages In Proceedings
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1987 -
Approximating the projective model In Proceedings
January 1987 -
Management of stratified databases Tech Report
January 1987 -
Minimum disclosure proofs of knowledge Tech Report
G. Brassard (Gilles), D. Chaum (David) and C. Crépeau (Claude)
January 1987 -
Incremental generation of lexical scanners Tech Report
January 1987