Discrete Mathematics · 2006 · 22 citations · 10 references
Natural SciencesComputer ScienceMathematicsFormal MethodsLogicSet TheoryBoolean AlgebraBoolean OperationsCompositional SemanticsCompositionalityDigital Logic DesignPredicate LogicBoolean ExpressionsBoolean Function DecompositionBoolean Function MinimizationBoolean Function RepresentationBoolean FunctionsBoolean LatticesNormal Forms
10
Hans-J. Bandelt, Jarmila Hedlı́ková · Discrete Mathematics · 1983 · 154 citations
Boolean reasoning: The logic of Boolean equations
Discrete Applied Mathematics · 1993 · 68 citations