New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures.

Tobias Ganzow, Lukasz Kaiser

Browse the full CSL paper archive.