@article{Friedman/63,
AUTHOR = {Friedman, Joyce},
TITLE = {A semi-decision procedure for the functional calculus},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {1-24},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Harrison/63,
AUTHOR = {Harrison, Michael A.},
TITLE = {The number of classes of invertible Boolean functions},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {25-28},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ginsburg-Rose/63,
AUTHOR = {Ginsburg, Seymour and Rose, Gene F.},
TITLE = {Some recursively unsolvable problems in ALGOL-like languages},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {29-47},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{House-Rado/63,
AUTHOR = {House, R.W. and Rado, T.},
TITLE = {On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {48-77},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {see Erratum in J. ACM, Vol. 10, 256},
}
@article{Hartmanis/63,
AUTHOR = {Hartmanis, J.},
TITLE = {Further results on the structure of sequential machines},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {78-88},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gluss/63,
AUTHOR = {Gluss, Brian},
TITLE = {A method for obtaining suboptimal group-testing policies using dynamic programming and information theory},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {89-96},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Twomey/63,
AUTHOR = {Twomey, S.},
TITLE = {On the numerical solution of Fredholm integral equations of the first kind by the inversion of the linear system produced by quadrature},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {97-101},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hansen/63,
AUTHOR = {Hansen, Eldon R.},
TITLE = {On the Danilewski method},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {102-109},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gill/63,
AUTHOR = {Gill, Arthur},
TITLE = {On a weight distribution problem, with application to the design of stochastic generators},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {110-121},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Corbato/63,
AUTHOR = {Corbat{\'o}, F.J.},
TITLE = {On the coding of Jacobi's method for computing Eigenvalues and Eigenvectors of real symmetric matrices},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {123-125},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Lee-Whiting/63,
AUTHOR = {Lee-Whiting, G.E.},
TITLE = {Formulas for computing incomplete elliptic integrals of the first and second kinds},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {126-130},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {see Erratum in J. ACM, Vol. 10, 412},
}
@article{Allard-Dobell-Hull/63,
AUTHOR = {Allard, J.L. and Dobell, A.R. and Hull, T.E.},
TITLE = {Mixed congruential random number generators for decimal machines},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {131-141},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hibbard/63,
AUTHOR = {Hibbard, Thomas N.},
TITLE = {A simple sorting algorithm},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {142-150},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Borko-Bernick/63,
AUTHOR = {Borko, Harold and Bernick, Myrna},
TITLE = {Automatic document classification},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {151-162},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Robinson/63,
AUTHOR = {Robinson, J.A.},
TITLE = {Theorem-proving on the computer},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {163-174},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ginsburg-Rose/63a,
AUTHOR = {Ginsburg, Seymour and Rose, G.F.},
TITLE = {Operations which preserve definability in languages},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {175-195},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gorn/63,
AUTHOR = {Gorn, Saul},
TITLE = {Detection of generative ambiguities in context-free mechanical languages},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {196-208},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Liu/63,
AUTHOR = {Liu, C.N.},
TITLE = {A state variable assignment method for asynchronous sequential switching circuits},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {209-216},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shepherdson-Sturgis/63,
AUTHOR = {Shepherdson, J.C. and Sturgis, H.E.},
TITLE = {Computability of recursive functions},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {217-255},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Maehly/63,
AUTHOR = {Maehly, Hans J.},
TITLE = {Methods for fitting rational approximations, Parts II and III},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {257-277},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ralston/63,
AUTHOR = {Ralston, Anthony},
TITLE = {On economization of rational functions},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {278-282},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Valentine-Dine/63,
AUTHOR = {Valentine, Charles W. and Dine, C. Peter van},
TITLE = {An algorithm for minimax polynomial curve-fitting of discrete data},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {283-290},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hull-Creemer/63,
AUTHOR = {Hull, T.E. and Creemer, A.L.},
TITLE = {Efficiency of predictor-corrector procedures},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {291-301},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hartley-Harris/63,
AUTHOR = {Hartley, H.O. and Harris, D.L.},
TITLE = {Monte Carlo computations in normal correlation problems},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {302-306},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Tainiter/63,
AUTHOR = {Tainiter, M.},
TITLE = {Addressing for random-access storage with multiple bucket capacities},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {307-315},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Floyd/63,
AUTHOR = {Floyd, Robert W.},
TITLE = {Syntactic analysis and operator precedence},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {316-333},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Klein-Simmons/63,
AUTHOR = {Klein, Sheldon and Simmons, Robert F.},
TITLE = {A computational approach to grammatical coding of English words},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {334-347},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Friedman/63a,
AUTHOR = {Friedman, Joyce},
TITLE = {A computer program for a solvable case of the decision problem},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {348-356},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Berlekamp/63,
AUTHOR = {Berlekamp, Elwyn R.},
TITLE = {Program for double-dummy bridge problems - A new strategy for mechanical game playing},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {357-364},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Farr/63,
AUTHOR = {Farr, Edwin H.},
TITLE = {Lattice properties of sequential machines},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {365-385},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Curtis/63,
AUTHOR = {Curtis, H. Allen},
TITLE = {Use of decomposition theory in the solution of the state assignment problem of sequential machines},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {386-411},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Schwartz/63,
AUTHOR = {Schwartz, Eugene S.},
TITLE = {A dictionary for minimum redundancy encoding},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {413-439},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Salton/63,
AUTHOR = {Salton, Gerard},
TITLE = {Associative document retrieval techniques using bibliographic information},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {440-457},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Mattson-Firschein/63,
AUTHOR = {Mattson, R.L. and Firschein, O.},
TITLE = {Feature word construction for use with pattern recognition algorithms: An experimental study},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {458-477},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Baber/63,
AUTHOR = {Baber, R.L.},
TITLE = {Tape searching techniques},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {478-486},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ginsburg-Spanier/63,
AUTHOR = {Ginsburg, Seymour and Spanier, Edwin H.},
TITLE = {Quotients of context-free languages},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {487-492},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Simon/63,
AUTHOR = {Simon, Herbert A.},
TITLE = {Experiments with a heuristic compiler},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {493-506},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Slagle/63,
AUTHOR = {Slagle, James R.},
TITLE = {A heuristic program that solves symbolic integration problems in Freshman calculus},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {507-520},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Oehmke/63,
AUTHOR = {Oehmke, Robert H.},
TITLE = {On the structures of an automaton and its input semigroup},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {521-525},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rabin-Wang/63,
AUTHOR = {Rabin, Michael O. and Wang, Hao},
TITLE = {Words in the history of a Turing machine with a fixed input},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {526-527},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ritchie/63a,
AUTHOR = {Ritchie, Robert W.},
TITLE = {Finite automata and the set of squares},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {528-531},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ben-Israel-Wersan/63,
AUTHOR = {Ben-Israel, A. and Wersan, S.J.},
TITLE = {An elimination method for computing the generalized inverse of an arbitrary complex matrix},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {532-537},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Grau/63,
AUTHOR = {Grau, A.A.},
TITLE = {On the reduction of number range in the use of the Graeffe process},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {538-544},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rich-Shaw/63,
AUTHOR = {Rich, Robert P. and Shaw, Harry},
TITLE = {A method for finding all the zeros of $f(z)$},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {545-549},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Freudenstein-Roth/63,
AUTHOR = {Freudenstein, Ferdinand and Roth, Bernard},
TITLE = {Numerical solution of systems of nonlinear equations},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {550-556},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Emanuel/63,
AUTHOR = {Emanuel, George},
TITLE = {The Wilf stability criterion for numerical integration},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {557-561},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Curtis/63a,
AUTHOR = {Curtis, H. Allen},
TITLE = {Generalized tree circuit - The basic building block of an extended decomposition theory},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {562-581},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Youden/63,
AUTHOR = {Youden, W.W.},
TITLE = {Index to the Journal of the Association for Computing Machinery. Volumes 1-10 (1954-1963)},
JOURNAL = {J. ACM},
VOLUME = {10},
PAGES = {582-646},
YEAR = {1963},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}