On the complexity of proving functions.

Andy N. C. Kang

Published in: AFIPS Spring Joint Computing Conference (1972)

Keyphrases

computational complexity
worst case
complexity analysis
data model
probabilistic model
complexity measures
database
lower complexity
space complexity
decision problems
np complete
medical images
data structure
three dimensional
web services
decision making
search engine
databases