Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.

Luisa Herrmann, Vincent Peth, Sebastian Rudolph

Browse the full CSL paper archive.