Degrees bounding principles and universal instances in reverse mathematics.

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

computer science
upper bound
randomly generated
information retrieval
kolmogorov complexity
knowledge base
active learning
lower and upper bounds
computer assisted instruction
training instances