Publication:2851696
From MaRDI portal
zbMath1272.03062MaRDI QIDQ2851696
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105051285
Related Items
The fraction of large random trees representing a given Boolean function in implicational logic, Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Tautologies over implication with negative literals, Complexity and Limiting Ratio of Boolean Functions over Implication