Visibly pushdown automata on trees: universality and u-universality

TitleVisibly pushdown automata on trees: universality and u-universality
Publication TypeJournal Article
Year of Publication2012
AuthorsBruyère, V, Ducobu M, Gauwin O
JournalCoRR
Volumeabs/1205.2841
URLhttp://arxiv.org/abs/1205.2841