Publication
-
August 1975
-
August 1975
-
An extension of unification to substitutions with an application to automatic theorem proving In Proceedings
September 1975 -
Multiple feedback at a single server station Tech Report
October 1975 -
Stabilized Runge-Kutta methods for second order differential equations without first derivatives Tech Report
December 1975 -
On the completeness of the inductive assertion method Article
Journal of Computer and System Sciences, 11(3), 323-357.December 1975 -
Two efficient algorithms with guaranteed convergence for finding a zero of a function Article
ACM Transactions on Mathematical Software, 1(4), 330-345.December 1975 -
A note on certain oscillating sums Tech Report
January 1976