Journal of the ACM, Volume 7, 1960

Volume 7, Number 1, January 1960

• David E. Ferguson:
  Input-Output Buffering and Fortran. 1-9
  Electronic Edition (ACM DL) BibTeX
• Marvin L. Stein, Jack Rose:
  Changing from Analog to Digital Programming by Digital Techniques. 10-23
  Electronic Edition (ACM DL) BibTeX
• Richard Bellman:
  Sequential Machines, Ambiguity, and Dynamic Programming. 24-28
  Electronic Edition (ACM DL) BibTeX
• Mario L. Juncosa, T. W. Mullikin:
  On the Increase of Convergence Rates of Relaxation Procedures for Elliptic Partial Difference Equations. 29-36
  Electronic Edition (ACM DL) BibTeX
• Tse-Sun Chow, Harold Willis Milnes:
  Boundary Contraction Solution of Laplace's Differential Equation II. 37-45
  Electronic Edition (ACM DL) BibTeX
• W. E. Milne, R. R. Reynolds:
  Stability of a Numerical Solution of Differential Equations - Part II. 46-56
  Electronic Edition (ACM DL) BibTeX
• Bernard A. Galler, D. P. Rozenberg:
  A Generalization of a Theorem of Carr on Error Bounds for Rung-Kutta Procedures. 57-60
  Electronic Edition (ACM DL) BibTeX
• William H. Anderson, R. B. Ball, J. R. Voss:
  A Numerical Method for Solving Control Differential Equations on Digital Computers. 61-68
  Electronic Edition (ACM DL) BibTeX
• Gerard P. Weeg:
  Truncation Error in the Graeffe Root-Squaring Method. 69-71
  Electronic Edition (ACM DL) BibTeX
• R. R. Coveyou:
  Serial Correlation in the Generation of Pseudo-Random Numbers. 72-74
  Electronic Edition (ACM DL) BibTeX
• A. Rotenberg:
  A New Pseudo-Random Number Generator. 75-77
  Electronic Edition (ACM DL) BibTeX
• H. H. Goldstine:
  Footnote to a Recent Paper. 78-79
  Electronic Edition (ACM DL) BibTeX

Volume 7, Number 2, April 1960

• H. Gelernter, J. R. Hansen, C. L. Gerberich:
  A Fortran-Compiled List-Processing Language. 87-101
  Electronic Edition (ACM DL) BibTeX
• Dag Prawitz, Haåkan Prawitz, Neri Voghera:
  A Mechanical Proof Procedure and its Realization in an Electronic Computer. 102-128
  Electronic Edition (ACM DL) BibTeX
• W. G. Wadey:
  Floating-Point Arithmetics. 129-139
  Electronic Edition (ACM DL) BibTeX
• Gerard Salton:
  A New Method for the Payment of Bills and the Transfer of Credit. 140-149
  Electronic Edition (ACM DL) BibTeX
• Hans J. Maehly:
  Methods for Fitting Rational Approximations, Part I: Telescoping Procedures for Continued Fractions. 150-162
  Electronic Edition (ACM DL) BibTeX
• Robin E. Esch:
  A Necessary and Sufficient Condition for Stability of Partial Difference Equation Problems. 163-175
  Electronic Edition (ACM DL) BibTeX
• R. Alonso:
  A Starting Method for the Three-Point Adams Predictor-Corrector Method. 176-180
  Electronic Edition (ACM DL) BibTeX
• E. A. Flinn:
  A Modification of Filon's Method of Numerical Integration. 181-184
  Electronic Edition (ACM DL) BibTeX
• David D. Morrison:
  Remarks on the Unitary Triangularization of a Nonsymmetric Matrix. 185-186
  Electronic Edition (ACM DL) BibTeX
• J. A. Lively:
  Letter to the Editor. 187
  Electronic Edition (ACM DL) BibTeX
• E. J. Gauss:
  Corrigendum to ``A Comparison of Machine Organizations by Their Performance of the Iterative Solution of Linear Equations''. 188
  Electronic Edition (ACM DL) BibTeX

Volume 7, Number 3, July 1960

• Martin Davis, Hilary Putnam:
  A Computing Procedure for Quantification Theory. 201-215
  Electronic Edition (ACM DL) BibTeX
• M. E. Maron, J. L. Kuhns:
  On Relevance, Probabilistic Indexing and Information Retrieval. 216-244
  Electronic Edition (ACM DL) BibTeX
• Walter F. Freiberger, Richard H. Jones:
  Computation of the Frequency Function of a Quadratic Form in Random Normal Variables. 245-250
  Electronic Edition (ACM DL) BibTeX
• Arthur Gill:
  Analysis of Nets by Numerical Methods. 251-254
  Electronic Edition (ACM DL) BibTeX
• Frank Harary:
  On the Consistency of Precedence Matrices. 255-259
  Electronic Edition (ACM DL) BibTeX
• James M. Ortega:
  On Sturm Sequences for Tridiagonal Matrices. 260-263
  Electronic Edition (ACM DL) BibTeX
• Samuel D. Conte, Ralph T. Dames:
  On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions. 264-273
  Electronic Edition (ACM DL) BibTeX
• Werner L. Frank:
  Solution of Linear Systems by Richardson's Method. 274-286
  Electronic Edition (ACM DL) BibTeX
• G. B. Fitzpatrick:
  Synthesis of Binary Ring Counters of Given Periods. 287-297
  Electronic Edition (ACM DL) BibTeX

Volume 7, Number 4, October 1960

• Ronald E. Prather:
  Computational Aids for Determining the Minimal Form of a Truth Function. 299-310
  Electronic Edition (ACM DL) BibTeX
• Seymour Ginsburg:
  Connective Properties Preserved in Minimal State Machines. 311-325
  Electronic Edition (ACM DL) BibTeX
• C. E. Miller, A. W. Tucker, R. A. Zemlin:
  Integer Programming Formulation of Traveling Salesman Problems. 326-329
  Electronic Edition (ACM DL) BibTeX
• Erwin Kleinfeld:
  Techniques for Enumerating Veblen-Wedderburn Systems. 330-337
  Electronic Edition (ACM DL) BibTeX
• E. E. Osborne:
  On Pre-Conditioning of Matrices. 338-345
  Electronic Edition (ACM DL) BibTeX
• Erwin H. Bareiss:
  Resultant Procedure and the Mechanization of the Graeffe Process. 346-386
  Electronic Edition (ACM DL) BibTeX
• N. L. Gordon, A. H. Flasterstein:
  A Note on a Method of Computing the Gamma Function. 387-388
  Electronic Edition (ACM DL) BibTeX
• Ivan Flores:
  Computer Time for Address Calculation Sorting. 389-409
  Electronic Edition (ACM DL) BibTeX