Publication
-
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 -
January 1977
-
Group divisible designs with block-size four Article
Discrete Mathematics, 20(1), 1-10.January 1977 -
January 1977