CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
August 1975
-
An extension of unification to substitutions with an application to automatic theorem proving In Proceedings
September 1975 -
October 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
-
Stabilized Runge-Kutta methods for second order differential equations without first derivatives Tech Report
December 1975 -
January 1976 -
The dependence of some logical axioms on disjoint transversals and linked systems : (prepublication) Tech Report
January 1976