Bag Equivalence via a Proof-Relevant Membership Relation.

Nils Anders Danielsson

Published in: ITP (2012)

Keyphrases

bag of words
closely related
equivalence relation
theorem prover
data sets
databases
multi class
real time
fuzzy logic
higher level
theorem proving