Herrmann, Luisa

1. Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
   2023/05/03 by Herrmann, Luisa, Peth, Vincent, Rudolph, Sebastian · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)