Centrum Wiskunde & Informatica

Hoare's logic and Peano's arithmetic : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1981
Formal language definitions can be made practical : (preprint) Tech Report

P. Klint (Paul)

January 1981
Abstract storage structures : (preprint) Tech Report

H.B.M. Jonkers

January 1981
PGEN; a general purpose parser generator Tech Report

G. Florijn and G. Rolf (Geert)

January 1981
Laser plotting of pollen diagrams Tech Report

A.C. Veldkamp, T. Hagen and J.D. van der Woude

January 1981
Short term adaptive prediction of railway power demand : (preprint) Tech Report

J.D. van der Bij and J.H. van Schuppen (Jan)

January 1981
Controlled invariance by static output feedback for nonlinear systems : (preprint) Tech Report

H. Nijmeijer and A.J. van der Schaft

January 1981
The weak and strong Gaussian probabilistic realization problem : (preprint) Tech Report

C. van Putten and J.H. van Schuppen (Jan)

January 1981

Previous

Next