. . "401;408" . "Restarting automata with rewriting"@en . "Restarting automata with rewriting" . "Pl\u00E1tek, Martin" . . . "Berlin" . "0"^^ . . "Mr\u00E1z, Franti\u0161ek" . . . . "RIV:J13/96:113200498!RIV/1998/MSM/MSM8MD0" . . "RIV:J13/96:113200498" . "[1CC094AD1791]" . "Restarting automata with rewriting"@en . "Restarting automata with rewriting" . "Springer-Verlag" . "834656" . "SOFSEM'96: Theory and Practice of Informatics" . "11320" . "2"^^ . "3"^^ . . "3-540-61994-1" .