@article{Ginsburg-Hopcroft/70,
AUTHOR = {Ginsburg, Seymour and Hopcroft, John},
TITLE = {Two-way balloon automata and AFL},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {3-13},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Colmerauer/70,
AUTHOR = {Colmerauer, Alain},
TITLE = {Total precedence relations},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {14-30},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Cudia/70a,
AUTHOR = {Cudia, Dennis F.},
TITLE = {General problems of formal grammars},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {31-43},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rosenberg/70,
AUTHOR = {Rosenberg, Arnold L.},
TITLE = {A note on ambiguity of context-free languages and presentations of semilinear sets},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {44-50},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Corneil-Gotlieb/70,
AUTHOR = {Corneil, D.G. and Gotlieb, C.C.},
TITLE = {An efficient algorithm for graph isomorphism},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {51-64},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gurk-Minker/70,
AUTHOR = {Gurk, Herbert M. and Minker, Jack},
TITLE = {Storage requirements for information handling centers},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {65-77},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chand-Kapur/70,
AUTHOR = {Chand, Donald R. and Kapur, Sham S.},
TITLE = {An algorithm for convex polytopes},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {78-86},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gustavson-Liniger-Willoughby/70,
AUTHOR = {Gustavson, F.G. and Liniger, W. and Willoughby, R.},
TITLE = {Symbolic generation of an optimal crout algorithm for sparse systems of linear equations},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {87-109},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Meyer-Painter/70,
AUTHOR = {Meyer, C.D. and Painter, R.J.},
TITLE = {Note on a least squares inverse for a matrix},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {110-112},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chang-Gill/70,
AUTHOR = {Chang, S.K. and Gill, A.},
TITLE = {Algorithmic solution of the change-making problem},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {113-122},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Coffman-Muntz-Trotter/70,
AUTHOR = {Coffman, E.G., Jr. and Muntz, R.R. and Trotter, H.},
TITLE = {Waiting time distributions for processor-sharing systems},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {123-130},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rasch/70,
AUTHOR = {Rasch, Philip J.},
TITLE = {A queueing theory study of round-Robin scheduling of time-shared computer systems},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {131-145},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rosenfeld/70,
AUTHOR = {Rosenfeld, Azriel},
TITLE = {Connectivity in digital pictures},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {146-160},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Sklansky/70,
AUTHOR = {Sklansky, J.},
TITLE = {Thresholded convolution operations},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {161-165},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Breuer/70,
AUTHOR = {Breuer, M.A.},
TITLE = {Simplification of the covering problem with application to Boolean expressions},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {166-181},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Stone/70b,
AUTHOR = {Stone, Harold S.},
TITLE = {An algorithm for modular partitioning},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {182-195},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Minsky/70,
AUTHOR = {Minsky, Marvin},
TITLE = {Form and content in computer science},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {197-215},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Nevins/70,
AUTHOR = {Nevins, Arthur J.},
TITLE = {A programming language with automatic goal generation and selection},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {216-230},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bavel-Muller/70,
AUTHOR = {Bavel, Zamir and M{\"u}ller, David E.},
TITLE = {Connectivity and reversibility in automata},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {231-240},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Willis/70,
AUTHOR = {Willis, David G.},
TITLE = {Computational complexity and probability constructions},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {241-259},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Andrews-Kane/70,
AUTHOR = {Andrews, H.C. and Kane, J.},
TITLE = {Kronecker matrices, computer implementation, and generalized spectra},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {260-268},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Haber/70,
AUTHOR = {Haber, Seymour},
TITLE = {Sequences of numbers that are approximately completely equidistributed},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {269-272},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Henrici/70,
AUTHOR = {Henrici, Peter},
TITLE = {Methods of search for solving polynomial equations},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {273-283},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rahme/70,
AUTHOR = {Rahme, H.S.},
TITLE = {Stability analysis of a new algorithm used for integrating a system of ordinary differential equations},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {284-293},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Zafarullah/70,
AUTHOR = {Zafarullah, A.},
TITLE = {Application of the method of lines to parabolic partial differential equations with error estimates},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {294-302},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Roth/70,
AUTHOR = {Roth, Richard H.},
TITLE = {An approach to solving linear discrete optimization problems},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {303-313},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Delbrouck/70,
AUTHOR = {Delbrouck, L.E.N.},
TITLE = {A feedback queueing system with batch arrivals, bulk service, and queue-dependent service time},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {314-323},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Muntz-Coffman/70,
AUTHOR = {Muntz, R.R. and Coffman, E.G., Jr.},
TITLE = {Preemptive scheduling of real-time tasks on multiprocessor systems},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {324-338},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hodes/70,
AUTHOR = {Hodes, Louis},
TITLE = {The logical complexity of geometric properties in the plane},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {339-347},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Montanari/70,
AUTHOR = {Montanari, G. Ugo},
TITLE = {On limit properties in digitization schemes},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {348-360},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Boyle-Grau/70,
AUTHOR = {Boyle, J.M. and Grau, A.A.},
TITLE = {An algorithmic semantics for ALGOL 60 identifier denotation},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {361-382},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Fox/70,
AUTHOR = {Fox, B.L.},
TITLE = {Accelerating list processing in discrete programming},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {383-384},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Caviness/70,
AUTHOR = {Caviness, B.F.},
TITLE = {On canonical forms and simplification},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {385-396},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Cryer/70,
AUTHOR = {Cryer, C.W.},
TITLE = {On the approximate solution of free boundary problems using finite differences},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {397-411},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Kagiwada-Kalaba/70,
AUTHOR = {Kagiwada, H.H. and Kalaba, R.},
TITLE = {An initial-value theory for Fredholm integral equations with semidegenerate kernels},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {412-419},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Tsuda-Ichida/70,
AUTHOR = {Tsuda, Takao and Ichida, Kozo},
TITLE = {Nonlinear interpolation of multivariable functions by the Monte Carlo method},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {420-425},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ramamoorthy-Chandy/70,
AUTHOR = {Ramamoorthy, C.V. and Chandy, K.M.},
TITLE = {Optimization of memory hierarchies in multiprogrammed systems},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {426-445},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shrager/70,
AUTHOR = {Shrager, Richard I.},
TITLE = {Nonlinear regression with linear constraints: An extension of the magnified diagonal method},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {446-452},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shaw/70,
AUTHOR = {Shaw, Alan C.},
TITLE = {Parsing of graph-representable pictures},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {453-481},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Beus/70,
AUTHOR = {Beus, H. Lynn},
TITLE = {The use of information in sorting},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {482-495},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Frazer-McKellar/70,
AUTHOR = {Frazer, W.D. and McKellar, A.C.},
TITLE = {Samplesort: A sampling approach to minimal storage tree sorting},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {496-507},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Stanfel/70,
AUTHOR = {Stanfel, L.E.},
TITLE = {Tree structures for optimal searching},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {508-517},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Mowle/70,
AUTHOR = {Mowle, Frederic J.},
TITLE = {Controllability of nonlinear sequential networks},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {518-524},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Anderson-Bledsoe/70,
AUTHOR = {Anderson, Robert and Bledsoe, W.W.},
TITLE = {A linear format for resolution with merging and a new technique for establishing completeness},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {525-534},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Slagle/70,
AUTHOR = {Slagle, James R.},
TITLE = {Interpolation theorems for resolution in lower predicate calculus},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {535-542},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Baer-Bovet-Estrin/70,
AUTHOR = {Baer, J.L. and Bovet, D.P. and Estrin, G.},
TITLE = {Legality and other properties of graph models of computations},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {543-554},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Manna-Pnueli/70,
AUTHOR = {Manna, Zohar and Pnueli, Amir},
TITLE = {Formalization of properties of functional programs},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {555-569},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Augustson-Minker/70,
AUTHOR = {Augustson, J. Gary and Minker, Jack},
TITLE = {An analysis of some graph theoretical cluster techniques},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {571-588},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Akima/70,
AUTHOR = {Akima, Hiroshi},
TITLE = {A new method of interpolation and smooth curve fitting based on local procedures},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {589-602},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Good-London/70,
AUTHOR = {Good, Donald I. and London, Ralph L.},
TITLE = {Computer interval arithmetic: Definition and proof of correct implementation},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {603-612},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gruttke/70,
AUTHOR = {Gruttke, William B.},
TITLE = {Pseudo-Runge-Kutta methods of the fifth order},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {613-628},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hashimoto/70,
AUTHOR = {Hashimoto, Masahiro},
TITLE = {A method for solving large matrix equations reduced from Fredholm integral equations of the second kind},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {629-636},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Kaneko-Liu/70,
AUTHOR = {Kaneko, Toyohisa and Liu, Bede},
TITLE = {Accumulation of round-off error in fast Fourier transforms},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {637-654},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shampine/70,
AUTHOR = {Shampine, L.F.},
TITLE = {Efficiency of a procedure for near-minimax approximation},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {655-660},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Smith/70,
AUTHOR = {Smith, Brian T.},
TITLE = {Error bounds for zeros of a polynomial based upon Gerschgorin's theorems},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {661-674},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bonzon/70,
AUTHOR = {Bonzon, P.},
TITLE = {Necessary and sufficient conditions for dynamic programming of combinatorial type},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {675-682},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Purdom-Stigler/70,
AUTHOR = {Purdom, Paul W., Jr. and Stigler, Stephen M.},
TITLE = {Statistical properties of the Buddy system},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {683-697},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chang/70,
AUTHOR = {Chang, C.L.},
TITLE = {The unit proof and the input proof in theorem proving},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {698-707},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Pager/70,
AUTHOR = {Pager, David},
TITLE = {On the efficiency of algorithms},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {708-714},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Sethi-Ullman/70,
AUTHOR = {Sethi, Ravi and Ullman, J.D.},
TITLE = {The generation of optimal code for arithmetic expressions},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {715-728},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Tsichritzis/70,
AUTHOR = {Tsichritzis, D.},
TITLE = {The equivalence problem of simple programs},
JOURNAL = {J. ACM},
VOLUME = {17},
PAGES = {729-738},
YEAR = {1970},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}