Login / Signup

Quasiorders and Sublattices of Distributive Lattices.

Jürg Schmid
Published in: Order (2002)
Keyphrases
  • distributive lattices
  • boolean algebra
  • belief functions
  • general theory
  • mathematical theory
  • database systems
  • dempster shafer
  • database
  • relational databases
  • theorem prover
  • cardinality constraints