Compo.t Math' . •,jth ApplJ.Vol. I, p. 428. Pergamon Press, 1975. Printedin Great Britain.

PAPERS IN FORTHCOMING ISSUES

R. Overbeek, J. McCharen and L. Wos:

D. Gabay and B. Mercier:

M. A. Franklin and R. K. Gupta:

L. Cooper and M. W. Cooper:

W. L. Miranker and O. Pironneau:H. S. Warren, Jr.:

E. S. Lee:

E. S. Lee:

Complexity and related enhancements for automatedtheorem-proving programs

A dual algorithm for the solution of nonlinearvariational problems viafinite elementapproximation

Stack distance density and page fault probability invirtual memory systems

An exact algorithm for the concave transportationproblem

An example of a global shock fitting methodDefinition of the concept "vector" in set theoretic

programming languagesNonlinear boundary value problems and multicompo­

nent distillationInvariant imbedding, method of characteristics, and

parameter estimation

428