Proof systems for lattice theory.

Sara Negri Jan von Plato

Published in: Math. Struct. Comput. Sci. (2004)

Keyphrases

lattice theory
pattern recognition
image processing
database
domain knowledge
high order
morphological operators