Algebra, Boolean.

Cardinal invariants on Boolean algebras by: (書目-電子資源)

Cryptographic Boolean functions and applications by: (書目-電子資源)

Set Theory = Boolean-Valued Models and Independence Proofs by: (書目-電子資源)

Test pattern generation using boolean proof engines by: (書目-電子資源)

Sheaves of algebras over boolean spaces by: (書目-電子資源)

Advanced BDD Optimization by: (書目-電子資源)

Complexity classifications of Boolean constraint satisfaction problems by: (書目-電子資源)

From objects to diagrams for ranges of functors by: (書目-電子資源)

High quality test pattern generation and boolean satisfiability by: (書目-電子資源)

Electronics and Microelectronics, Instrumentation.

Sheaf theory.

Circuits and Systems.

Algebra, Boolean.

Logic design- Mathematics.

Functor theory.

Mathematical Logic and Foundations.

K-Theory.

Integrated circuits- Testing.

Set theory.

Topology.

General Algebraic Systems.

Contraintes (Intelligence artificielle)

Computational complexity.

Functions.

Mathematics.

Cardinal numbers.

Engineering.

Computer algorithms.

Proof theory.

Constraints (Artificial intelligence)

Integrated circuits- Verification.

Category Theory, Homological Algebra.

Algebraic logic.

Data encryption (Computer science)

Computer software- Verification.

Decision trees.

Decision making- Mathematical models.

Algebra.

Cryptography.

Processor Architectures.

Order, Lattices, Ordered Algebraic Structures.

Engineering Design.

Electronic and Computer Engineering.