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
  
• Michael A. Harrison:
  The Number of Classes of Invertible Boolean Functions. 25-28
  
• Seymour Ginsburg, Gene F. Rose:
  Some Recursively Unsolvable Problems in ALGOL-Like Languages. 29-47
  
• R. W. House, T. Rado:
  On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems. 48-77
  
• Juris Hartmanis:
  Further Results on the Structure of Sequential Machines. 78-88
  
• Brian Gluss:
  A Method for Obtaining Suboptimal Group-Testing Policies Using Dynamic Programming and Information Theory. 89-96
  
• 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
  
• Eldon R. Hansen:
  On the Danilewski Method. 102-109
  
• Arthur Gill:
  On a Weight Distribution Problem, with Application to the Design of Stochastic Generators. 110-121
  

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

Volume 10, Number 3, July 1963

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

Volume 10, Number 4, October 1963

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