%0 Conference Paper %1 herrmann2024decidable %A Herrmann, Luisa %A Peth, Vincent %A Rudolph, Sebastian %B 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) %C Dagstuhl, Germany %D 2024 %E Murano, Aniello %E Silva, Alexandra %I Schloss Dagstuhl -- Leibniz-Zentrum für Informatik %K imported %P 33:1--33:19 %R 10.4230/LIPIcs.CSL.2024.33 %T Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures %U https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.33 %V 288 %Z Keywords: MSO, BAPA, Parikh-Muller tree automata, decidability, MSO-interpretations %@ 978-3-95977-310-2

@inproceedings{herrmann2024decidable, added-at = {2024-10-02T13:52:45.000+0200}, address = {Dagstuhl, Germany}, annote = {Keywords: MSO, BAPA, Parikh-Muller tree automata, decidability, MSO-interpretations}, author = {Herrmann, Luisa and Peth, Vincent and Rudolph, Sebastian}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2ae806bc628d3ae09ffc35a4b46d8522e/scadsfct}, booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}, doi = {10.4230/LIPIcs.CSL.2024.33}, editor = {Murano, Aniello and Silva, Alexandra}, interhash = {492bdf7574fc9a67ea3916e3f004c73c}, intrahash = {ae806bc628d3ae09ffc35a4b46d8522e}, isbn = {978-3-95977-310-2}, issn = {1868-8969}, keywords = {imported}, pages = {33:1--33:19}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, timestamp = {2024-10-02T13:52:45.000+0200}, title = {{Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures}}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.33}, urn = {urn:nbn:de:0030-drops-196768}, volume = 288, year = 2024 }