Publication

Automata and behaviours in categories of processes Tech Report

B.P.F. Jacobs

A transformation method for stochastic control problems with partial observations Tech Report

G.M. Koole (Ger)

Large-eddy simulation with accurate implicit subgrid-scale diffusion Tech Report

B. Koren (Barry) and C. Beets

Epic 1.0 (unconditional) : an equational programming language Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

Value constraints in the CLP scheme Tech Report

M.H. van Emden

A complete transformational toolkit for compilers Tech Report

J.A. Bergstra (Jan), T.B. Dinesh, J. Field and J. Heering (Jan)

Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC] Miscellaneous

Proceedings seminar 1989-1990 mathematical structures in field theories Book