Complexity of Gödel's T in lambda-Formulation.

Gunnar Wilken Andreas Weiermann

Published in: TLCA (2009)

Keyphrases

worst case
data structure
space complexity
decision making
computational complexity
expert systems
decision problems
fixed point
database
real world
artificial intelligence
information systems
artificial neural networks
complexity analysis
lower complexity