Login / Signup

The Relationship Between Multivalued Switching Algebra and Boolean Algebra Under Different Definitions of Complement.

Stephen Y. H. SuAchilles A. Sarris
Published in: IEEE Trans. Computers (1972)
Keyphrases
  • boolean algebra
  • distributive lattices
  • cardinality constraints
  • constraint query languages
  • theorem prover
  • set theory
  • upper approximation
  • database design