MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

Sarah Kleest-Meißner, Jonas Marasus, Matthias Niewerth

We describe a framework for maintaining forest algebra representations that are of logarithmic height for unranked trees. Such representations can be computed in O(n) time and upda…