Inproceedings3375

PublikationenPublications

• Nach AutorBy Author
  • Luisa HerrmannLuisa Herrmann
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures

Luisa HerrmannLuisa Herrmann,  Vincent PethVincent Peth,  Sebastian RudolphSebastian Rudolph

Luisa Herrmann, Vincent Peth, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024, to appear

• Details
• Bibtex

• Projekt:Project: ScaDS.AI
• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{HPR2024,
  author    = {Luisa Herrmann and Vincent Peth and Sebastian Rudolph},
  title     = {Decidable (Ac)counting with Parikh and Muller: Adding Presburger
               Arithmetic to Monadic Second-Order Logic over Tree-Interpretable
               Structures},
  booktitle = {CSL '24: Proceedings of the 32nd {EACSL} Annual Conference on
               Computer Science Logic 2024},
  year      = {2024}
}