Bar Recursion and Products of Selection Functions.

Martín Escardó Paulo Oliva

Published in: J. Symb. Log. (2015)

Keyphrases

database
multiscale
product design
selection criteria
real time
information retrieval
decision making
query processing
software engineering
selection algorithm
production line
selection mechanism