Multisets in Type Theory.

Håkon Robbestad Gylterud

Published in: CoRR (2016)

Keyphrases

theoretical framework
general theory
natural language
information theory
data mining
genetic algorithm
feature selection
three dimensional
database systems
lower bound