König's lemma, the ω-Rule and primitive recursive arithmetic.

E. G. K. López-Escobar

Published in: Arch. Math. Log. (1985)

Keyphrases

association rules
production rules
johnson lindenstrauss
information retrieval
arithmetic operations
multi valued
classification rules
higher level
recursive algorithm
rule induction
rule sets
data sets
knowledge discovery
expert systems
bayesian networks
high level
decision trees
machine learning