Non-idempotent intersection types in logical form.

Published in: CoRR (2019)

Keyphrases

data sets
database
data mining
multiscale
search algorithm
machine learning
genetic algorithm
three dimensional
multi agent systems
mobile robot
constraint satisfaction problems