@scadsfct

Global One-Counter Tree Automata

, and . 28th International Conference on Implementation and Application of Automata (CIAA 2024), volume 15015 of Lecture Notes in Computer Science, page 166--179. Springer, (September 2024)
DOI: 10.1007/978-3-031-71112-1_12

Links and resources

Tags