Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND.

Published in: J. Log. Comput. (2003)

Keyphrases

decision problems
computational complexity
np complete
theoretical framework
data mining
np hard
defeasible logic
real time
neural network
information systems
data management