Publication
-
May 1975
-
Some applications of stabilized Runge-Kutta methods for hyperbolic differential equations Tech Report
May 1975
-
A sequence of nested cubature rules Tech Report
May 1975
-
The asymptotic behaviour of the minimal total expected cost for the denumerable state Markov decision model Article
Journal of Applied Probability, 12(2), 298-305.June 1975
-
On a conjecture of Iglehart Article
Management Science, 21(11), 1342-1345.July 1975
-
August 1975 -
August 1975
-
An extension of unification to substitutions with an application to automatic theorem proving In Proceedings
September 1975