Publication
-
Numerical solution of mildly nonlinear two-point boundary value problems by means of Galerkin's method Tech Report
January 1976 -
January 1976
-
January 1976
-
January 1976
-
Taylor-Runge-Kutta methoden Tech Report
January 1976 -
Equivalence of operational and denotational semantics for a fragment of Pascal : (prepublication) Tech Report
January 1976 -
Achievable high scores of -moves and running times in DPDA computation : (prepublication) Tech Report
January 1976 -
January 1976