Unification in Free Distributive Lattices.

J. A. Gerhard Mario Petrich

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

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
theorem prover
color images
mathematical theory
image processing
bayesian networks
edge detection
linear programming
cardinality constraints