A Grammatical Representation of Visibly Pushdown Languages
From MaRDI portal
Publication:3612648
DOI10.1007/978-3-540-73445-1_1zbMath1213.68361OpenAlexW1779766336MaRDI QIDQ3612648
Howard Barringer, Joachim Baran
Publication date: 10 March 2009
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: http://eprints.maths.manchester.ac.uk/1475/1/lncs4576.pdf
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
This page was built for publication: A Grammatical Representation of Visibly Pushdown Languages