Login / Signup

Vector Boolean Algebra and Calculus.

Samuel C. Lee
Published in: IEEE Trans. Computers (1976)
Keyphrases
  • boolean algebra
  • constraint query languages
  • cardinality constraints
  • expressive power
  • theorem prover
  • set theory
  • constraint databases
  • upper approximation
  • query language