On the efficiency of normal form systems for representing Boolean functions (Q1989340): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2020.01.009
@@ Property / DOI: 10.1016/j.tcs.2020.01.009 / rank @@
-Normal rank
@@ Property / cites work @@
+Size-depth tradeoffs for Boolean formulae
@@ Property / cites work: Size-depth tradeoffs for Boolean formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of Post classes and normal forms of Boolean functions
+Normal rank
@@ Property / cites work @@
+Galois theory for sets of operations closed under permutation, cylindrification, and composition
+Normal rank
@@ Property / cites work @@
+Decompositions of functions based on arity gap
@@ Property / cites work: Decompositions of functions based on arity gap / rank @@
+Normal rank
@@ Property / cites work @@
+Q4583802
@@ Property / cites work: Q4583802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077976
@@ Property / cites work: Q3077976 / rank @@
+Normal rank
@@ Property / cites work @@
+Post classes characterized by functional terms
@@ Property / cites work: Post classes characterized by functional terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281057
@@ Property / cites work: Q3281057 / rank @@
+Normal rank
@@ Property / cites work @@
+Function Algebras on Finite Sets
@@ Property / cites work: Function Algebras on Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted lattice polynomials
@@ Property / cites work: Weighted lattice polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Q5344158
@@ Property / cites work: Q5344158 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Essential arities of term operations in finite algebras
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2020.01.009
@@ Property / DOI: 10.1016/J.TCS.2020.01.009 / rank @@
+Normal rank