Login / Signup
Comments on "The Relationship Between Multivalued Switching Algebra and Boolean Algebra under Different Definitions of Complement".
Edgar DuCasse
Gernot Metze
Published in:
IEEE Trans. Computers (1975)
Keyphrases
</>
boolean algebra
distributive lattices
constraint query languages
cardinality constraints
theorem prover
upper approximation
set theory