Login / Signup

Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean.

Steve Winker
Published in: J. Autom. Reason. (1990)
Keyphrases
  • boolean algebra
  • distributive lattices
  • cardinality constraints
  • constraint query languages
  • theorem prover
  • set theory
  • step size
  • upper approximation
  • expert systems
  • relational databases
  • query language