Type inference for set theory.

Published in: Theor. Comput. Sci. (2001)

Keyphrases

set theory
partial order
mathematical morphology
fuzzy set theory
rough sets
algebraic geometry
databases
rough set theory
neural network
information retrieval
bayesian networks
input image
first order logic
probability theory