Centrum Wiskunde & Informatica

Stability results for $\theta$-methods applied to a class of stiff differential-algebraic equations Tech Report

W. Hundsdorfer (Willem)

January 1987
Consultaties aan de Statistische Afdeling van het Mathematisch Centrum Book Chapter

W. Mettrop (Wouter)

January 1987
$ACP_\tau$: a universal axiom system for process specification Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1987
Four papers on computational geometry : [most of the papers will be presented in 'Computational and geometric aspects of robotics', a minisymposium (MS/85) to be held during the first international conference on industrial and applied mathematics (ICIAM)] Book

V. Akman (Varol), C. Bajaj, R. Franklin, J. Mitchell, H. Rohnert and G. Wilfong

January 1987
Proceedings seminar 1983-1985 mathematical structures in field theories, vol. 2 : [held at Amsterdam] Book

M.J. Bergvelt, G.M. Tuynman and A.P.E. ten Kroode

January 1987
Security without identification: card computers to make big brother obsolete Tech Report

D. Chaum (David)

January 1987
Multigrid and defect correction for the efficient solution of the steady Euler equations In Proceedings

B. Koren (Barry) and S.P. Spekreijse

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

Previous

Next