Boolean Differential Calculus and its Application to Switching Theory

DOI10.1109/T-C.1973.223729MaRDI QIDQ4081146zbMATH OpenFDO

Authors André Thayse, M. Davio

Publication date 1973

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/T-C.1973.223729

Mathematics Subject Classification ID

Cited in

(13)

• An efficient algorithm for calculating Boolean difference
• Boolean integral calculus
• Efficient VLSI fault simulation
• Difference operators and extended truth vectors for discrete functions
• Solution of Boolean differential equations on systolic arrays
• Parallel algorithms for evaluation of directional Boolean derivatives of multivalued logic functions
• Les dérivées partielles des fonctions pseudo-Booleennes généralisées
• An interpreter for the Boolean derivative
• Is there a relation between sequential control and continuous control?
• A theory of boolean integration
• Boolean difference techniques in fault tree analysis
• Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method
• Frustration and stability in random Boolean networks

This page was built for publication: Boolean Differential Calculus and its Application to Switching Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4081146)