Program size in restricted programming languages

Theory of Recursive Functions and Effective Computability.

1969 • 2,849 citations

Theory of Recursive Functions and Effective Computability

1969 • 2,654 citations

Computability and Unsolvability.

1959 • 1,024 citations

A Machine-Independent Theory of the Complexity of Recursive Functions

1967 • 834 citations

Gödel numberings of partial recursive functions

1958 • 273 citations

The complexity of loop programs

1967 • 197 citations

On the size of machines

1967 • 142 citations

Recursive Equivalence Types

1960 • 140 citations

Computability and Unsolvability.

1959 • 118 citations

On the size of programs in subrecursive formalisms

1970 • 12 citations

Deleted Work

1955 • 0 citations