TY  - RPRT
TI  - Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement
AU  - Frank Drewes
AU  - Berthold Hoffmann
AU  - Mark Minas
PY  - 2019
DO  - 10.1016/j.jlamp.2018.12.006
UR  - https://arxiv.org/abs/1812.11927
ID  - 1812.11927
ER  -