Publication
-
Achievable high scores of -moves and running times in DPDA computations Article
Information Processing Letters, 10(2), 83-86.March 1980
-
Numerical solution of systems of nonlinear equations Dissertation
April 1980 -
Reduction methods in nonlinear programming Dissertation
June 1980 -
June 1980 -
Change of address of the Stichting Mathematisch Centrum : change of address card, 23.06.1980 Miscellaneous
June 1980 -
A characterisation of computable data types by means of a finite equational specification method In Proceedings
July 1980 -
July 1980 -
August 1980