Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs.

Thomas Colcombet, Amina Doumane, Denis Kuperberg

Browse the full ICALP paper archive.