Publication
-
Deterministic Lindenmayer languages nonterminals and homomorphisms, Article
Theoretical Computer Science, 2(1), 49-71.June 1976
-
June 1976
-
June 1976
-
Stabilized runge-kutta methods for second order differential equations without first derivatives Tech Report
June 1976
-
Call-by-value versus call-by-name: a proof-theoretic comparison : prepublication [Second print.] Tech Report
September 1976
-
September 1976
-
A space-saving technique for assigning algol 68 multiple values Article
Information Processing Letters, 5(4), 97-99.October 1976
-
An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report
October 1976