. "798651" . . . "Formal Translations Described by Translation Grammars with LR(k) Input Grammars"@en . "Formal Translations Described by Translation Grammars with LR(k) Input Grammars" . "RIV:J04/97:D3 12673!RIV/1998/MSM/MSM8D30" . . "0"^^ . "Formal Translations Described by Translation Grammars with LR(k) Input Grammars"@en . "Berlin" . . "Janou\u0161ek, Jan" . "[DC9583547E21]" . "421;422" . "Programming Languages: Implementations, Logics, and Programs" . "2"^^ . . . "Formal Translations Described by Translation Grammars with LR(k) Input Grammars" . . "Melichar, Bo\u0159ivoj" . . "2"^^ . "RIV:J04/97:D3 12673" . "Springer-Verlag" . "21230" . . "3-540-63398-7" .