vix.ing · top · new · best · stats · spec

Peth, Vincent

  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)