Algebra, Boolean.

Boolean functions in coding theory and cryptography / by: (Language materials, printed)

Set theory : = Boolean-valued models and independence proofs / by: (Language materials, printed)

Cardinal invariants on Boolean algebras by: (Electronic resources)

Duality theories for Boolean algebras with operators by: (Electronic resources)

Dynamics of complex autonomous Boolean networks by: (Electronic resources)

Bridging constraint satisfaction and Boolean satisfiability by: (Electronic resources)

Boolean functions and their applications in cryptography by: (Electronic resources)

Bent functions = fundamentals and results / by: (Electronic resources)

Knowledge and time by: (Electronic resources)

Cryptographic Boolean functions and applications / by: (Electronic resources)

Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor / by: (Electronic resources)

Bent functions = results and applications to cryptography / by: (Electronic resources)

Analytic quotients : = theory of liftings for quotients over analytic ideals on the integers / by: (Language materials, printed)

Sentential probability logic = origins, development, current status, and technical applications / by: (Language materials, printed)

Reconstructability analysis theory and applications by: (Language materials, printed)

Set Theory = Boolean-Valued Models and Independence Proofs by: (Language materials, printed)

Advanced BDD Optimization by: (Language materials, printed)

Test pattern generation using boolean proof engines by: (Language materials, printed)

Cardinal invariants on Boolean algebras by: (Language materials, printed)

High quality test pattern generation and boolean satisfiability by: (Electronic resources)

Cryptographic Boolean functions and applications by: (Electronic resources)

Boolean representations of simplicial complexes and matroids by: (Electronic resources)