The fraction of large random trees representing a given Boolean function in implicational logic (Q2884007): Difference between revisions

@@ Property / cites work @@
+The Boolean functions computed by random Boolean formulas or how to grow the right function
+Normal rank
@@ Property / cites work @@
+And/Or Trees Revisited
@@ Property / cites work: And/Or Trees Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Classical and Intuitionistic Logic Are Asymptotically Identical
+Normal rank
@@ Property / cites work @@
+Tautologies over implication with negative literals
+Normal rank
@@ Property / cites work @@
+Q3575996
@@ Property / cites work: Q3575996 / rank @@
+Normal rank
@@ Property / cites work @@
+Using amplification to compute majority with small majority gates
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+On the density of truth of implicational parts of intuitionistic and classical logics
+Normal rank
@@ Property / cites work @@
+Q3574988
@@ Property / cites work: Q3574988 / rank @@
+Normal rank
@@ Property / cites work @@
+On asymptotic divergency in equivalential logics
@@ Property / cites work: On asymptotic divergency in equivalential logics / rank @@
+Normal rank
@@ Property / cites work @@
+Statistics of intuitionistic versus classical logics
+Normal rank
@@ Property / cites work @@
+Finite range random walk on free groups and homogeneous trees
+Normal rank
@@ Property / cites work @@
+Some typical properties of large AND/OR Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q2851696
@@ Property / cites work: Q2851696 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical properties of simple types
@@ Property / cites work: Statistical properties of simple types / rank @@
+Normal rank
@@ Property / cites work @@
+A natural prior probability distribution derived from the propositional calculus
+Normal rank
@@ Property / cites work @@
+Q2959885
@@ Property / cites work: Q2959885 / rank @@
+Normal rank
@@ Property / cites work @@
+Random Boolean formulas representing any Boolean function with asymptotically equal probability
+Normal rank
@@ Property / cites work @@
+Logic for computer scientists
@@ Property / cites work: Logic for computer scientists / rank @@
+Normal rank
@@ Property / cites work @@
+Short monotone formulae for the majority function
@@ Property / cites work: Short monotone formulae for the majority function / rank @@
+Normal rank
@@ Property / cites work @@
+Coloring rules for finite trees, and probabilities of monadic second order sentences
+Normal rank
@@ Property / cites work @@
+Statistics of implicational logic
@@ Property / cites work: Statistics of implicational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5488260
@@ Property / cites work: Q5488260 / rank @@
+Normal rank