On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract)

Robert L. Constable Allan Borodin

Published in: SWAT (1970)

Keyphrases

extended abstract
knowledge representation
databases
computational complexity
hidden markov models
data sets
data mining
information technology
incomplete data
high efficiency
nonmonotonic reasoning
computer programs
reasoning tasks