Strong normalization for applied lambda calculi.

Published in: Log. Methods Comput. Sci. (2005)

Keyphrases

database
information systems
data mining
genetic algorithm
artificial intelligence
decision making
knowledge base
decision trees
preprocessing
fixed point