Information and Control · 1969 · 23 citations · 6 references
ComputingComputer ScienceMathematicsAlgorithmsDatabasesSet TheoryBoolean AlgebraDatabase DesignInteger ProgrammingLookup TablesQuery ProcessingRelational AlgebraTable ConstraintsTruth-table Reducibility
6
On the Length of Programs for Computing Finite Binary Sequences
Gregory J. Chaitin · Journal of the ACM · 1969 · 917 citations · Full text
On the Length of Programs for Computing Finite Binary Sequences
Gregory J. Chaitin · Journal of the ACM · 1966 · 912 citations · Full text
Computability of Recursive Functions
J. C. Shepherdson, Howard E. Sturgis · Journal of the ACM · 1963 · 404 citations
Tibor Radó · Bell System Technical Journal · 1962 · 297 citations
Manuel Blum · Information and Control · 1967 · 139 citations