Logics Which Capture Complexity Classes over the Reals.

Felipe Cucker Klaus Meer

Published in: FCT (1997)

Keyphrases

tractable cases
complexity measures
intrinsic complexity
worst case
space complexity
decision problems
expert systems
real time
modal logic
computational cost
upper bound
class labels
computational complexity
case study
constraint databases
search engine
neural network
data sets