Volume 22; Issue 1

Journal of the ACM

Volume 22; Issue 1
1

Proving Theorems about LISP Functions

Boyer, Robert S., Moore, J. Strother
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 838 KB
english, 1975
2

On the Structure of Polynomial Time Reducibility

Ladner, Richard E.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 1.33 MB
english, 1975
3

An Algorithm for Finding a Minimal Equivalent Graph of a Digraph

Hsu, Harry T.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 320 KB
english, 1975
4

Approximate Algorithms for the 0/1 Knapsack Problem

Sahni, Sartaj
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 628 KB
english, 1975
5

A Metalgorithm for Adaptive Quadrature

Rice, John R.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 1.49 MB
english, 1975
6

Regularity and Related Problems for Deterministic Pushdown Automata

Valiant, Leslie G.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 724 KB
english, 1975
7

A Formal Construction of Term Classes

Yu, Clement T.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 1.26 MB
english, 1975
8

On Computing the Exact Determinant of Matrices with Polynomial Entries

Horowitz, E., Sahni, S.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 851 KB
english, 1975
9

High Order Search Methods for Finding Roots

Micchelli, C. A., Miranker, W. L.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 517 KB
english, 1975
10

An Analysis of Drum Storage Units

Fuller, Samuel H., Baskett, Forest
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 1.45 MB
english, 1975
12

Errata: `` Performance of Movable-Head Disk Storage Devices''

Gotlieb, C. C., MacEwen, G. H.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 43 KB
english, 1975
13

The Change-Making Problem

Wright, J. W.
Journal:
Journal of the ACM
Year:
1975
Language:
english
File:
PDF, 173 KB
english, 1975