default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 - Robert W. House, Tibor 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, Thomas E. Hull:
Mixed Congruential Random Number Generators for Decimal Machines. 131-141 - Thomas N. Hibbard:
A Simple Sorting Algorithm. 142-150 - Harold Borko, Myrna D. 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 - Robert W. House, Tibor 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 - Thomas 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 - Melvin 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 - Richard 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 - Adi Ben-Israel, Stephen J. Wersan:
An Elimination Method for Computing the Generalized Inverse of an Arbitrary Complex Matrix. 532-537 - Albert 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
