On the Membership Problem for Visibly Pushdown Languages
From MaRDI portal
Publication:3522902
DOI10.1007/11901914_10zbMath1161.68544OpenAlexW1529111663MaRDI QIDQ3522902
Margherita Napoli, Salvatore La Torre
Publication date: 4 September 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11901914_10
Related Items (3)
Additive number theory via automata theory ⋮ Annotated regular expressions and input-driven languages ⋮ Sums of Palindromes: an Approach via Automata
This page was built for publication: On the Membership Problem for Visibly Pushdown Languages
