Global One-Counter Tree Automata
Aus International Center for Computational Logic
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
Global One-Counter Tree Automata
28th International Conference on Implementation and Application of Automata (CIAA 2024), to appear
- Weitere Informationen unter:Further Information: Link
- 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}
}