The Emptiness Problem for Intersection Types.

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

Keyphrases

databases
decision trees
high quality
evolutionary algorithm
real time
machine learning
genetic algorithm
learning algorithm
information systems
multiscale
search algorithm
multi agent systems
mobile robot