TY  - RPRT
TI  - Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
AU  - Luisa Herrmann
AU  - Vincent Peth
AU  - Sebastian Rudolph
PY  - 2023
UR  - https://arxiv.org/abs/2305.01962
ID  - 2305.01962
ER  -