Invisible Pushdown Languages

DOI10.1145/2933575.2933579zbMath1390.68403arXiv1511.00289OpenAlexW1903463847MaRDI QIDQ4635951

Eryk Kopczyński

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.00289

zbMATH Keywords

XMLseparabilityvisibly pushdown automataregular languages of trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Invisible Pushdown Languages