"804924" . . "[EFD8D3D382D7]" . "RIV:J13/97:113201867!RIV/1998/MSM/MSM8MD0" . "505;512" . "11320" . . "Springer-Verlag" . . "Mr\u00E1z, Franti\u0161ek" . "SOFSEM'97: Theory and Practice of Informatics" . "Berl\u00EDn" . . . "Jan\u010Dar, Petr" . "Pl\u00E1tek, Martin" . . . . "0"^^ . . "Monotonic Rewriting Automata with a Restart Operation"@en . "Monotonic Rewriting Automata with a Restart Operation" . "4"^^ . "Monotonic Rewriting Automata with a Restart Operation"@en . "Monotonic Rewriting Automata with a Restart Operation" . "RIV:J13/97:113201867" . . "2"^^ . "3-540-63774-5" .