A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract)

Stephen J. Bellantoni Stephen A. Cook

Published in: STOC (1992)

Keyphrases

extended abstract
real time
database
data mining
deductive databases
databases
search engine
image processing
computational complexity
artificial neural networks
special case
mobile robot
probabilistic model
upper bound
complex objects
transitive closure