Salvatore La Torre, Margherita Napoli, Mimmo Parente. The word problem for visibly pushdown languages described by grammars. Formal Methods in System Design, 31(3):265-279, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.