Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice.

Published in: J. Log. Comput. (2019)

Keyphrases

main contribution
neural network
real world
computational model
data mining
database
information retrieval
multiscale
search algorithm
data streams
theoretical framework
deductive databases
computational framework
framework enables