Journal of the ACM -- 1963

Volume 10, Number 1, January 1963

• Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the ACM, 10(1):1-24, January 1963. References and Citations. [BibTeX entry]

• Michael A. Harrison. The number of classes of invertible Boolean functions. Journal of the ACM, 10(1):25-28, January 1963. Citations. [BibTeX entry]

• Seymour Ginsburg and Gene F. Rose. Some recursively unsolvable problems in ALGOL-like languages. Journal of the ACM, 10(1):29-47, January 1963. References and Citations. [BibTeX entry]

• R. W. House and T. Rado. On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems. Journal of the ACM, 10(1):48-77, January 1963. References and Citations. [BibTeX entry]

• J. Hartmanis. Further results on the structure of sequential machines. Journal of the ACM, 10(1):78-88, January 1963. References. [BibTeX entry]

• Brian Gluss. A method for obtaining suboptimal group-testing polices using dynamic programming and information theory. Journal of the ACM, 10(1):89-96, January 1963. References and Citations. [BibTeX entry]

• S. Twomey. On the numerical solution of Fredholm integral equations of the first kind by the inversion of the linear system produced by quadrature. Journal of the ACM, 10(1):97-101, January 1963. References and Citations. [BibTeX entry]

• Eldon R. Hansen. On the Danilewski method. Journal of the ACM, 10(1):102-109, January 1963. References. [BibTeX entry]

• Arthur Gill. On a weight distribution problem, with application to the design of stochastic generators. Journal of the ACM, 10(1):110-121, January 1963. References. [BibTeX entry]

Volume 10, Number 2, April 1963

• F. J. Corbató. On the coding of Jacobi's method for computing eigenvalues and eigenvectors of real symmetric matrices. Journal of the ACM, 10(2):123-125, April 1963. References. [BibTeX entry]

• G. E. Lee-Whiting. Formulas for computing incomplete elliptic integrals of the first and second kind. Journal of the ACM, 10(2):126-130, April 1963. References and Citations. [BibTeX entry]

• J. L. Allard, A. R. Dobell, and T. E. Hull. Mixed congruential random number generators for decimal machines. Journal of the ACM, 10(2):131-141, April 1963. References and Citations. [BibTeX entry]

• Thomas N. Hibbard. A simple sorting algorithm. Journal of the ACM, 10(2):142-150, April 1963. References. [BibTeX entry]

• Harold Borko and Myrna Bernick. Automatic document classification. Journal of the ACM, 10(2):151-162, April 1963. References and Citations. [BibTeX entry]

• J. A. Robinson. Theorem-proving on the computer. Journal of the ACM, 10(2):163-174, April 1963. References and Citations. [BibTeX entry]

• Seymour Ginsburg and G. F. Rose. Operations which preserve definability in languages. Journal of the ACM, 10(2):175-195, April 1963. References and Citations. [BibTeX entry]

• Saul Gorn. Detection of generative ambiguities in context-free mechanical languages. Journal of the ACM, 10(2):196-208, April 1963. References. [BibTeX entry]

• C. N. Liu. A state variable assignment method for asynchronous sequential switching circuits. Journal of the ACM, 10(2):209-216, April 1963. [BibTeX entry]

• J. C. Shepherdson and H. E. Sturgis. Computability of recursive functions. Journal of the ACM, 10(2):217-255, April 1963. References and Citations. [BibTeX entry]

• R. W. House and T. Rado. Erratum: ``On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems''. Journal of the ACM, 10(2):256, April 1963. References. [BibTeX entry]

Volume 10, Number 3, July 1963

• Hans J. Maehly. Methods for fitting rational approximations, parts II and III. Journal of the ACM, 10(3):257-277, July 1963. References and Citations. [BibTeX entry]

• Anthony Ralston. On economization of rational functions. Journal of the ACM, 10(3):278-282, July 1963. References. [BibTeX entry]

• Charles W. Valentine and C. Peter Van Dine. An algorithm for minimax polynomial curve-fitting of discrete data. Journal of the ACM, 10(3):283-290, July 1963. [BibTeX entry]

• T. E. Hull and A. L. Creemer. Efficiency of predictor-corrector procedures. Journal of the ACM, 10(3):291-301, July 1963. References and Citations. [BibTeX entry]

• H. O. Hartley and D. L. Harris. Monte Carlo computations in normal correlation problems. Journal of the ACM, 10(3):302-306, July 1963. [BibTeX entry]

• M. Tainiter. Addressing for random-access storage with multiple bucket capacities. Journal of the ACM, 10(3):307-315, July 1963. References. [BibTeX entry]

• Robert W. Floyd. Syntactic analysis and operator precedence. Journal of the ACM, 10(3):316-333, July 1963. References and Citations. [BibTeX entry]

• Sheldon Klein and Robert F. Simmons. A computational approach to grammatical coding of English words. Journal of the ACM, 10(3):334-347, July 1963. [BibTeX entry]

• Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the ACM, 10(3):348-356, July 1963. References. [BibTeX entry]

• Elwyn R. Berlekamp. Program for double-dummy bridge problems -- a new strategy for mechanical game playing. Journal of the ACM, 10(3):357-364, July 1963. [BibTeX entry]

• Edwin H. Farr. Lattice properties of sequential machines. Journal of the ACM, 10(3):365-385, July 1963. [BibTeX entry]

• H. Allen Curtis. Use of decomposition theory in the solution of the state assignment problem of sequential machines. Journal of the ACM, 10(3):386-411, July 1963. References. [BibTeX entry]

• G. E. Lee-Whiting. Erratum: ``Formulas for computing incomplete elliptic integrals of the first and second kind''. Journal of the ACM, 10(3):412, July 1963. References. [BibTeX entry]

Volume 10, Number 4, October 1963

• Eugene S. Schwartz. A dictionary for minimum redundancy encoding. Journal of the ACM, 10(4):413-439, October 1963. References. [BibTeX entry]

• Gerard Salton. Associative document retrieval techniques using bibliographic information. Journal of the ACM, 10(4):440-457, October 1963. References and Citations. [BibTeX entry]

• R. L. Mattson and O. Firschein. Feature word construction for use with pattern recognition algorithms: An experimental study. Journal of the ACM, 10(4):458-477, October 1963. [BibTeX entry]

• R. L. Baber. Tape searching techniques. Journal of the ACM, 10(4):478-486, October 1963. [BibTeX entry]

• Seymour Ginsburg and Edwin H. Spanier. Quotients of context-free languages. Journal of the ACM, 10(4):487-492, October 1963. References and Citations. [BibTeX entry]

• Herbert A. Simon. Experiments with a heuristic compiler. Journal of the ACM, 10(4):493-506, October 1963. [BibTeX entry]

• James R. Slagle. A heuristic program that solves symbolic integration problems in freshman calculus. Journal of the ACM, 10(4):507-520, October 1963. Citations. [BibTeX entry]

• Robert H. Oehmke. On the structures of an automaton and its input semigroup. Journal of the ACM, 10(4):521-525, October 1963. References and Citations. [BibTeX entry]

• Michael O. Rabin and Hao Wang. Words in the history of a Turing machine with a fixed input. Journal of the ACM, 10(4):526-527, October 1963. Citations. [BibTeX entry]

• Robert W. Ritchie. Finite automata and the set of squares. Journal of the ACM, 10(4):528-531, October 1963. Citations. [BibTeX entry]

• A. Ben-Israel and S. J. Wersan. An elimination method for computing the generalized inverse of an arbitrary complex matrix. Journal of the ACM, 10(4):532-537, October 1963. Citations. [BibTeX entry]

• A. A. Grau. On the reduction of number range in the use of the Graeffe process. Journal of the ACM, 10(4):538-544, October 1963. References. [BibTeX entry]

• Robert P. Rich and Harry Shaw. A method for finding all the zeros of f(x). Journal of the ACM, 10(4):545-549, October 1963. [BibTeX entry]

• Ferdinand Freudenstein and Bernhard Roth. Numerical solution of systems of nonlinear equations. Journal of the ACM, 10(4):550-556, October 1963. [BibTeX entry]

• George Emanuel. The Wilf stability criterion for numerical integration. Journal of the ACM, 10(4):557-561, October 1963. References. [BibTeX entry]

• H. Allen Curtis. Generalized tree circuit -- the basic building block of an extended decomposition theory. Journal of the ACM, 10(4):562-581, October 1963. References. [BibTeX entry]

Shortcuts: