F3.C — Computing measures of weak-MSO definable sets of trees

ICALP 2020