@misc{indiciae45ebddbeb58f, title = {Computing measures of weak-MSO definable sets of trees}, author = {Damian Niwiński and Marcin Przybyłko and Michał Skrzypczak}, year = {2025}, url = {https://arxiv.org/abs/2410.13479}, note = {Source identifier: 2410.13479} }