On the Uniform Computational Content of Computability Theory.

Vasco Brattka Matthew Hendtlass Alexander P. Kreuzer

Published in: Theory Comput. Syst. (2017)

Keyphrases

theoretical framework
formal theory
multimedia
data sets
information retrieval
case study
database systems
computational model
theoretical basis
linear array
database
quantum mechanics
agent based models
computational models
theoretical foundation
recommender systems
search algorithm
learning algorithm
databases