And/Or Trees Revisited
From MaRDI portal
Publication:4670353
DOI10.1017/S0963548304006273zbMath1077.94526MaRDI QIDQ4670353
Bernhard Gittenberger, Daniéle Gardy, Brigitte Chauvin, Philippe Flajolet
Publication date: 18 April 2005
Published in: Combinatorics, Probability and Computing (Search for Journal in Brave)
Related Items (13)
The fraction of large random trees representing a given Boolean function in implicational logic ⋮ The distribution of height and diameter in random non-plane binary trees ⋮ A sprouting tree model for random boolean functions ⋮ Asymptotic Properties of Combinatory Logic ⋮ Intuitionistic vs. Classical Tautologies, Quantitative Comparison ⋮ In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid ⋮ Fuzzy logics – quantitatively ⋮ Enumerating lambda terms by weighted length of their de Bruijn representation ⋮ Complexity and Limiting Ratio of Boolean Functions over Implication ⋮ Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System ⋮ 2-Xor revisited: satisfiability and probabilities of functions ⋮ Generalised and quotient models for random and/or~trees and application to satisfiability ⋮ Associative and commutative tree representations for Boolean functions
This page was built for publication: And/Or Trees Revisited
