Journal of the ACM, Volume 10, 1963

Volume 10, Number 1, January 1963

• Joyce Friedman:
  A Semi-Decision Procedure for the Functional Calculus. 1-24
  Electronic Edition (ACM DL) BibTeX
• Michael A. Harrison:
  The Number of Classes of Invertible Boolean Functions. 25-28
  Electronic Edition (ACM DL) BibTeX
• Seymour Ginsburg, Gene F. Rose:
  Some Recursively Unsolvable Problems in ALGOL-Like Languages. 29-47
  Electronic Edition (ACM DL) BibTeX
• R. W. House, T. Rado:
  On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems. 48-77
  Electronic Edition (ACM DL) BibTeX
• Juris Hartmanis:
  Further Results on the Structure of Sequential Machines. 78-88
  Electronic Edition (ACM DL) BibTeX
• Brian Gluss:
  A Method for Obtaining Suboptimal Group-Testing Policies Using Dynamic Programming and Information Theory. 89-96
  Electronic Edition (ACM DL) BibTeX
• S. Twomey:
  On the Numerical Solution of Fredholm Integral Equations of the First Kind by the Inversion of the Linear System Produced by Quadrature. 97-101
  Electronic Edition (ACM DL) BibTeX
• Eldon R. Hansen:
  On the Danilewski Method. 102-109
  Electronic Edition (ACM DL) BibTeX
• Arthur Gill:
  On a Weight Distribution Problem, with Application to the Design of Stochastic Generators. 110-121
  Electronic Edition (ACM DL) BibTeX

Volume 10, Number 2, April 1963

• Fernando J. Corbató:
  On the Coding of Jacobi's Method for Computing Eigenvalues and Eigenvectors of Real Symmetric Matrices. 123-125
  Electronic Edition (ACM DL) BibTeX
• G. E. Lee-Whiting:
  Formulas for Computing Incomplete Elliptic Integrals of the First and Second Kinds. 126-130
  Electronic Edition (ACM DL) BibTeX
• J. L. Allard, A. R. Dobell, T. E. Hull:
  Mixed Congruential Random Number Generators for Decimal Machines. 131-141
  Electronic Edition (ACM DL) BibTeX
• Thomas N. Hibbard:
  A Simple Sorting Algorithm. 142-150
  Electronic Edition (ACM DL) BibTeX
• Harold Borko, Myrna Bernick:
  Automatic Document Classification. 151-162
  Electronic Edition BibTeX
• John Alan Robinson:
  Theorem-Proving on the Computer. 163-174
  Electronic Edition (ACM DL) BibTeX
• Seymour Ginsburg, Gene F. Rose:
  Operations Which Preserve Definability in Languages. 175-195
  Electronic Edition (ACM DL) BibTeX
• Saul Gorn:
  Detection of Generative Ambiguities in Context-Free Mechanical Languages. 196-208
  Electronic Edition (ACM DL) BibTeX
• C. N. Liu:
  A State Variable Assignment Method for Asynchronous Sequential Switching Circuits. 209-216
  Electronic Edition (ACM DL) BibTeX
• John C. Shepherdson, Howard E. Sturgis:
  Computability of Recursive Functions. 217-255
  Electronic Edition (ACM DL) BibTeX
• R. W. House, T. Rado:
  Erratum: ``On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems''. 256
  Electronic Edition (ACM DL) BibTeX

Volume 10, Number 3, July 1963

• Hans J. Maehly:
  Methods for Fitting Rational Approximations, Parts II and III. 257-277
  Electronic Edition (ACM DL) BibTeX
• Anthony Ralston:
  On Economization of Rational Functions. 278-282
  Electronic Edition (ACM DL) BibTeX
• Charles W. Valentine, C. Peter Van Dine:
  An Algorithm for Minimax Polynomial Curve-Fitting of Discrete Data. 283-290
  Electronic Edition (ACM DL) BibTeX
• T. E. Hull, A. L. Creemer:
  Efficiency of Predictor-Corrector Procedures. 291-301
  Electronic Edition (ACM DL) BibTeX
• H. O. Hartley, D. L. Harris:
  Monte Carlo Computations in Normal Correlation Problems. 302-306
  Electronic Edition (ACM DL) BibTeX
• M. Tainiter:
  Addressing for Random-Access Storage with Multiple Bucket Capacities. 307-315
  Electronic Edition (ACM DL) BibTeX
• Robert W. Floyd:
  Syntactic Analysis and Operator Precedence. 316-333
  Electronic Edition (ACM DL) BibTeX
• Sheldon Klein, Robert F. Simmons:
  A Computational Approach to Grammatical Coding of English Words. 334-347
  Electronic Edition (ACM DL) BibTeX
• Joyce Friedman:
  A Computer Program for a Solvable Case of the Decision Problem. 348-356
  Electronic Edition (ACM DL) BibTeX
• Elwyn R. Berlekamp:
  Program for Double-Dummy Bridge Problems--A New Strategy for Mechanical Game Playing. 357-364
  Electronic Edition (ACM DL) BibTeX
• Edwin H. Farr:
  Lattice Properties of Sequential Machines. 365-385
  Electronic Edition (ACM DL) BibTeX
• H. Allen Curtis:
  Use of Decomposition Theory in the Solution of the State Assignment Problem of Sequential Machines. 386-411
  Electronic Edition (ACM DL) BibTeX
• G. E. Lee-Whiting:
  Erratum: `` Formulas for Computing Incomplete Elliptic Integrals of the First and Second Kind''. 412
  Electronic Edition (ACM DL) BibTeX

Volume 10, Number 4, October 1963

• Eugene S. Schwartz:
  A Dictionary for Minimum Redundancy Encoding. 413-439
  Electronic Edition (ACM DL) BibTeX
• Gerard Salton:
  Associative Document Retrieval Techniques Using Bibliographic Information. 440-457
  Electronic Edition BibTeX
• R. L. Mattson, Oscar Firschein:
  Feature Word Construction for Use with Pattern Recognition Algorithms: An Experimental Study. 458-477
  Electronic Edition (ACM DL) BibTeX
• R. L. Baber:
  Tape Searching Techniques. 478-486
  Electronic Edition (ACM DL) BibTeX
• Seymour Ginsburg, Edwin H. Spanier:
  Quotients of Context-Free Languages. 487-492
  Electronic Edition (ACM DL) BibTeX
• Herbert A. Simon:
  Experiments with a Heuristic Compiler. 493-506
  Electronic Edition (ACM DL) BibTeX
• James R. Slagle:
  A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus. 507-520
  Electronic Edition (ACM DL) BibTeX
• Robert H. Oehmke:
  On the Structures of an Automaton and Its Input Semigroup. 521-525
  Electronic Edition (ACM DL) BibTeX
• Michael O. Rabin, Hao Wang:
  Words in the History of a Turing Machine with a Fixed Input. 526-527
  Electronic Edition (ACM DL) BibTeX
• Robert W. Ritchie:
  Finite Automata and the Set of Squares. 528-531
  Electronic Edition (ACM DL) BibTeX
• A. Ben-Israel, Stephen J. Wersan:
  An Elimination Method for Computing the Generalized Inverse of an Arbitrary Complex Matrix. 532-537
  Electronic Edition (ACM DL) BibTeX
• A. A. Grau:
  On the Reduction of Number Range in the Use of the Graeffe Process. 538-544
  Electronic Edition (ACM DL) BibTeX
• Robert P. Rich, Harry C. Shaw:
  A Method for Finding All the Zeros of f(x). 545-549
  Electronic Edition (ACM DL) BibTeX
• Ferdinand Freudenstein, Bernhard Roth:
  Numerical Solution of Systems of Nonlinear Equations. 550-556
  Electronic Edition (ACM DL) BibTeX
• George Emanuel:
  The Wilf Stability Criterion for Numerical Integration. 557-561
  Electronic Edition (ACM DL) BibTeX
• H. Allen Curtis:
  Generalized Tree Circuit - The Basic Building Block of an Extended Decomposition Theory. 562-581
  Electronic Edition (ACM DL) BibTeX