researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal
Journal: Journal of the ACM
Home
Index
Info
Volume
Volume
10
, Issue
4
413
--
439
Eugene S. Schwartz
.
A Dictionary for Minimum Redundancy Encoding
440
--
457
Gerard Salton
.
Associative Document Retrieval Techniques Using Bibliographic Information
458
--
477
R. L. Mattson
,
Oscar Firschein
.
Feature Word Construction for Use with Pattern Recognition Algorithms: An Experimental Study
478
--
486
R. L. Baber
.
Tape Searching Techniques
487
--
492
Seymour Ginsburg
,
Edwin H. Spanier
.
Quotients of Context-Free Languages
493
--
506
Herbert A. Simon
.
Experiments with a Heuristic Compiler
507
--
520
James R. Slagle
.
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
521
--
525
Robert H. Oehmke
.
On the Structures of an Automaton and Its Input Semigroup
526
--
527
Michael O. Rabin
,
Hao Wang
.
Words in the History of a Turing Machine with a Fixed Input
528
--
531
Robert W. Ritchie
.
Finite Automata and the Set of Squares
532
--
537
Adi Ben-Israel
,
Stephen J. Wersan
.
An Elimination Method for Computing the Generalized Inverse of an Arbitrary Complex Matrix
538
--
544
A. A. Grau
.
On the Reduction of Number Range in the Use of the Graeffe Process
545
--
549
Robert P. Rich
,
Harry C. Shaw
.
A Method for Finding All the Zeros of f(x)
550
--
556
Ferdinand Freudenstein
,
Bernhard Roth
.
Numerical Solution of Systems of Nonlinear Equations
562
--
581
H. Allen Curtis
.
Generalized Tree Circuit - The Basic Building Block of an Extended Decomposition Theory
Volume
10
, Issue
3
278
--
282
Anthony Ralston
.
On Economization of Rational Functions
291
--
301
T. E. Hull
,
A. L. Creemer
.
Efficiency of Predictor-Corrector Procedures
302
--
306
H. O. Hartley
,
D. L. Harris
.
Monte Carlo Computations in Normal Correlation Problems
307
--
315
M. Tainiter
.
Addressing for Random-Access Storage with Multiple Bucket Capacities
316
--
333
Robert W. Floyd
.
Syntactic Analysis and Operator Precedence
334
--
347
Sheldon Klein
,
Robert F. Simmons
.
A Computational Approach to Grammatical Coding of English Words
348
--
356
Joyce Friedman
.
A Computer Program for a Solvable Case of the Decision Problem
357
--
364
Elwyn R. Berlekamp
.
Program for Double-Dummy Bridge Problems--A New Strategy for Mechanical Game Playing
365
--
385
Edwin H. Farr
.
Lattice Properties of Sequential Machines
386
--
411
H. Allen Curtis
.
Use of Decomposition Theory in the Solution of the State Assignment Problem of Sequential Machines
412
--
0
G. E. Lee-Whiting
.
Erratum: Formulas for Computing Incomplete Elliptic Integrals of the First and Second Kind
Volume
10
, Issue
2
123
--
125
Fernando J. Corbató
.
On the Coding of Jacobi s Method for Computing Eigenvalues and Eigenvectors of Real Symmetric Matrices
126
--
130
G. E. Lee-Whiting
.
Formulas for Computing Incomplete Elliptic Integrals of the First and Second Kinds
131
--
141
J. L. Allard
,
A. R. Dobell
,
T. E. Hull
.
Mixed Congruential Random Number Generators for Decimal Machines
142
--
150
Thomas N. Hibbard
.
A Simple Sorting Algorithm
151
--
162
Harold Borko
,
Myrna Bernick
.
Automatic Document Classification
163
--
174
John Alan Robinson
.
Theorem-Proving on the Computer
175
--
195
Seymour Ginsburg
,
Gene F. Rose
.
Operations Which Preserve Definability in Languages
196
--
208
Saul Gorn
.
Detection of Generative Ambiguities in Context-Free Mechanical Languages
209
--
216
C. N. Liu
.
A State Variable Assignment Method for Asynchronous Sequential Switching Circuits
217
--
255
John C. Shepherdson
,
Howard E. Sturgis
.
Computability of Recursive Functions
256
--
0
R. 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
--
24
Joyce Friedman
.
A Semi-Decision Procedure for the Functional Calculus
25
--
28
Michael A. Harrison
.
The Number of Classes of Invertible Boolean Functions
29
--
47
Seymour Ginsburg
,
Gene F. Rose
.
Some Recursively Unsolvable Problems in ALGOL-Like Languages
48
--
77
R. W. House
,
T. Rado
.
On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems
78
--
88
Juris Hartmanis
.
Further Results on the Structure of Sequential Machines
89
--
96
Brian Gluss
.
A Method for Obtaining Suboptimal Group-Testing Policies Using Dynamic Programming and Information Theory
102
--
109
Eldon R. Hansen
.
On the Danilewski Method
110
--
121
Arthur Gill
.
On a Weight Distribution Problem, with Application to the Design of Stochastic Generators