A Constructive Set Theory for Program Development.

Martin C. Henson Raymond Turner

Published in: FSTTCS (1988)

Keyphrases

set theory
rough set theory
image processing
pattern recognition
rough sets
mathematical morphology
fuzzy sets
first order logic
fuzzy set theory
algebraic geometry
artificial intelligence
decision making
artificial neural networks
denoising
efficient implementation