Journal: Journal of the ACM

Volume 10, Issue 4

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

Volume 10, Issue 3

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

Volume 10, Issue 2

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

Volume 10, Issue 1

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