The Omega Rule is II_2^0-Hard in the lambda beta -Calculus.

Benedetto Intrigila Richard Statman

Published in: LICS (2004)

Keyphrases

lambda calculus
association rules
fixed point
real time
data sets
decision trees
rule sets
active databases
rule learning
rule generation
database
databases
case study
classification rules
rule induction
computer algebra