On the Size of Programs in Subrecursive Formalisms

Robert L. Constable

Published in: STOC (1970)

Keyphrases

database
computational complexity
probabilistic model
scales linearly
data mining
genetic algorithm
decision trees
database systems
data streams
multi agent systems
memory requirements
maximum number
reasoning tasks
fixpoint