Report copyright - pbl/galop2016/ribaslides.pdf · Introduction Introduction Fix D non-empty and finite. Full -labelled D-ary trees are maps t : D ! Monadic-Second Order Logic (MSO) (over D-ary trees)
Please pass captcha verification before submit form