Global One-Counter Tree Automata

Luisa HerrmannLuisa Herrmann, Richard MörbitzRichard Mörbitz

Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata
28th International Conference on Implementation and Application of Automata (CIAA 2024), to appear

Details
Bibtex

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

@inproceedings{HM2024,
  author    = {Luisa Herrmann and Richard M{\"{o}}rbitz},
  title     = {Global One-Counter Tree Automata},
  booktitle = {28th International Conference on Implementation and Application
               of Automata (CIAA 2024)},
  year      = {2024}
}