Publications from 2024
-
A characterisation of computable data types by means of a finite equational specification method In Proceedings
July 1980 -
Change of address of the Stichting Mathematisch Centrum : change of address card, 23.06.1980 Miscellaneous
June 1980 -
June 1980
-
Reduction methods in nonlinear programming Dissertation
June 1980 -
Numerical solution of systems of nonlinear equations Dissertation
April 1980 -
Achievable high scores of -moves and running times in DPDA computations Article
Information Processing Letters, 10(2), 83-86.March 1980 -
March 1980
-
Roosters voor de studenten tandheelkunde Miscellaneous
February 1980 -
February 1980
-
On the numerical solution of parabolic equations in a single space variable by the continuous time galerkin method Article
SIAM Journal on Numerical Analysis, 17(1), 162-177.February 1980 -
On cutting planes Article
Annals of Discrete Mathematics, 291-296.January 1980 -
On lower bounds for permanents Article
Indagationes Mathematicae, 425-427.January 1980 -
A counterexample to a conjecture of Edmonds and Giles Article
Discrete Mathematics, 213-214.January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Linear programming and undiscounted stochastic games in which one player controls transitions : (preprint) Tech Report
January 1980 -
Duality and the nonlinear round-trip -center and covering problems on a tree : (preprint) Tech Report
January 1980 -
Timetables for dental students : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Complexity results for scheduling tasks in fixed intervals on two types of machines : (preprint) Tech Report
January 1980 -
January 1980
-
B-spline algorithms Tech Report
January 1980 -
January 1980
-
January 1980
-
Computing in algebraic systems : (preprint) Tech Report
January 1980 -
January 1980
-
On the power of real-time Turing machines under varying specifications; extended abstract : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Relativized obliviousness : (preprint) Tech Report
January 1980 -
January 1980
-
Two-tape real-time computation : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
Initial and final algebra semantics for data type specifications: two characterisation theorems : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Operational and denotational semantics describing the matching process in Snobol4 : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Modified nystroem methods for semi-discrete hyperbolic differential equations : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
On $V_0$-stability of numerical methods for volterra integral equations of the second kin Tech Report
January 1980 -
January 1980
-
Numerical solution of two coupled nonlinear equations related to the limits of buchstab's iteration sieve Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
An analysis of rosenbrock methods for non-linear stiff initial value problems : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
An algol 68 routine for the approximation of partial derivatives on a two-dimensional grid Tech Report
January 1980 -
January 1980
-
January 1980
-
Numerical solution of a diffusion problem with segregation at a moving interface : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Forced prey-predator oscillations : (preprint) Tech Report
January 1980 -
The numerical computation of the confluent hypergeometric function u(a,b,z) : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
A variation-of-constants formula for nonlinear volterra integral equations of convolution type : (preprint) Tech Report
January 1980