Implicational Complexity in Intuitionistic Arithmetic.

Published in: J. Symb. Log. (1981)

Keyphrases

expert systems
worst case
decision problems
database
real world
social networks
decision making
data structure
computational complexity
computational cost
complexity analysis