Language: English

Jump To : Overview Titles Subjects

Algebra, Boolean.

Overview

Works:	23 works in 16 publications in 16 languages

Titles

Advanced BDD Optimization by: (Language materials, printed)

Boolean representations of simplicial complexes and matroids by: (Language materials, printed)

Bridging constraint satisfaction and Boolean satisfiability by: (Language materials, printed)

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

From objects to diagrams for ranges of functors by: (Language materials, printed)

Cryptographic Boolean functions and applications by: (Language materials, printed)

Ones and zeros = understanding Boolean algebra, digital circuits, and the logic of sets / by: (Language materials, printed)

Sheaves of algebras over boolean spaces by: (Language materials, printed)

High quality test pattern generation and boolean satisfiability by: (Language materials, printed)

Introduction to boolean algebras by: (Language materials, printed)

Subjects

History and Philosophical Foundations of Physics.

Sheaf theory.

Stone-Čech compactification.

Mathematical Logic and Foundations.

Combinatorics.

General Algebraic Systems.

Computational complexity.

Data Structures, Cryptology and Information Theory.

Difference and Functional Equations.

Algebraic logic.

Physics.

Electronic and Computer Engineering.

Linear and Multilinear Algebras, Matrix Theory.

Mathematics of Computing.

Philosophy of Science.

Category Theory, Homological Algebra.

Epistemology.

Data encryption (Computer science)

Computer software

Algebra, Boolean.

Electronic Circuits and Devices.

Informatique

Engineering.

Independence (Mathematics)

Decision trees.

Engineering Design.

Boole, Alg�ebre de.

Integrated circuits

Dynamical Systems and Ergodic Theory.

Circuits and Systems.

Algebraic functions.

K-Theory.

Complex Networks.

Logic, Symbolic and mathematical.

Electronic digital computers

Algebraic Geometry.

Cognitive Psychology.

Logic design

Algebraic Topology.

Decision making

Theory of Computation.

Functor theory.

Complexity.

Probabilities.

Mathematics.

Time

Cardinal numbers.

Complex Systems.

Algebra.

Boolean matrices.

Coding and Information Theory.

Associative Rings and Algebras.

Computer Science.

Set theory.

Logique symbolique et math�ematique.

Topology.

Constraints (Artificial intelligence)

Electronics and Microelectronics, Instrumentation.

Systems and Data Security.

Probability Theory and Stochastic Processes.

Artificial Intelligence (incl. Robotics)

Computer algorithms.

Proof theory.

Ensembles, Th�eorie des.

Processor Architectures.

Order, Lattices, Ordered Algebraic Structures.

�Algebras de boole.

Physics

Functions.

Cryptography.