A Survey of Some Recent Results on Computational Complexity in Weak Theories of Arithmetic.

Deborah Joseph Paul Young

Published in: MFCS (1981)

Keyphrases

computational complexity
special case
np complete
computationally efficient
theoretical framework
computational efficiency
arithmetic operations
np hard
computational cost
recent developments
information retrieval
knowledge base
worst case
decision problems
low complexity
design theory