Visibly Pushdown Automata: Universality and Inclusion via Antichains

TitleVisibly Pushdown Automata: Universality and Inclusion via Antichains
Publication TypeConference Paper
Year of Publication2013
AuthorsBruyère, V, Ducobu M, Gauwin O
Conference NameLanguage and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-642-37064-9_18
DOI10.1007/978-3-642-37064-9_18