VERking in constructive set theory.

Robert L. Constable

Published in: ACM SIGSOFT Softw. Eng. Notes (1981)

Keyphrases

set theory
fuzzy set theory
partial order
mathematical morphology
rough sets
first order logic
rough set theory
probability theory
algebraic geometry
fuzzy sets
databases
machine learning
morphological operations
artificial intelligence
pattern recognition