Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator.

Chi Tat Chong Yue Yang

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

Keyphrases

machine learning
table of contents
program synthesis
markov chain
explanation based learning
real numbers
finite sets
priority scheduling
data mining
data structure
query processing
subgroup discovery
priority queue