On Unification for Bonded Distributive Lattices.

Viorica Sofronie-Stokkermans

Published in: CADE (2000)

Keyphrases

distributive lattices
boolean algebra
theorem prover
belief functions
general theory
mathematical theory
cardinality constraints
binary images
deductive databases