Publication
-
Een electrisch hartmodel Tech Report
January 1977 -
Complexity of machine scheduling problems Article
Annals of Discrete Mathematics, 343-362.January 1977
-
The intermediate language for pictures In Proceedings
January 1977
-
Semantics and the foundations of program proving In Proceedings
January 1977
-
A variational approach to singularly perturbed boundary value problems for ordinary and partial differential equations with turning points Article
SIAM Journal on Applied Mathematics, 32(3), 588-597.January 1977
-
Convergence of Newton-like methods for solving systems of nonlinear equations Article
Numerische Mathematik, 271-281.January 1977
-
A general Markov decision method, 2: applications Article
Advances in Applied Probability, 316-335.January 1977
-
A general Markov decision method, 1: model and techniques Article
Advances in Applied Probability, 296-315.January 1977