A complexity analysis of functional interpretations.

Mircea-Dan Hernest Ulrich Kohlenbach

Published in: Theor. Comput. Sci. (2005)

Keyphrases

complexity analysis
lower bound
theoretical analysis
first order logic
computational complexity
artificial neural networks
functional analysis
video sequences
real time
optimal solution
learning algorithm
genetic algorithm
wide range
high level
decision trees
special case
machine learning
real world