Decidability results for primitive recursive algorithms.

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

Keyphrases

computational complexity
computationally efficient
computational efficiency
real time
computational cost
orders of magnitude
neural network
machine learning
information retrieval
search engine
description logics
optimization problems
graph theory