Publications

Luisa Herrmann, Vincent Peth, und Sebastian Rudolph. Decidable (ac)counting with Parikh and Muller: Adding Presburger Arithmetic to monadic second-Order Logic over tree-interpretable structures. 2023. [PUMA: Adding Arithmetic Logic Muller Parikh Presburger Yaff monadic second-Order structures tree-interpretable]