A Note on the Computational Complexity of the Pure Classical Implication Calculus.

Gunnar Stålmarck

Published in: Inf. Process. Lett. (1989)

Keyphrases

computational complexity
high computational complexity
neural network
computational cost
databases
information systems
multiscale
special case
np hard
np complete
bit rate
computationally efficient
low complexity