On unification for bounded distributive lattices.

Viorica Sofronie-Stokkermans

Published in: ACM Trans. Comput. Log. (2007)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
theorem prover
dempster shafer
database
mathematical theory
epistemic logic