Login / Signup
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.
Viorica Sofronie-Stokkermans
Published in:
CADE (1999)
Keyphrases
</>
distributive lattices
general theory
boolean algebra
belief functions
morphological operators
mathematical theory
theoretical framework
query answering
artificial intelligence
dempster shafer