6533b7d5fe1ef96bd1263bab
RESEARCH PRODUCT
On embedding Boolean as a subtype of integer
Markku Sakkinensubject
CombinatoricsTheoretical computer scienceComputer scienceEmbeddingBoolean expressionConstraint satisfactionComputer Graphics and Computer-Aided DesignSoftwareInteger (computer science)year | journal | country | edition | language |
---|---|---|---|---|
1990-07-01 | ACM SIGPLAN Notices |