Well-quasi-ordering of graphs of bounded tree-width was proved in the paper [RS90a] which is lengthy and technical as it provides general machinery for the graph minor theory. A shorter direct proof ...

We study the distribution induced on the set of Boolean functions by the uniform distribution on the set of associative trees of a large fixed size, where the size of a tree is defined as the number ...