Dynamic direct access of MSO query evaluation over strings

Pierre Bourhis, Florent Capelli, Stefan Mengel +1

We study the problem of evaluating a Monadic Second Order (MSO) query over strings under updates in the setting of direct access. We present an algorithm that, given an MSO query w…