. "Jan\u010Dar, Petr" . "Springer-Verlag" . "343;354" . "[D4D6326F6BF8]" . "1530" . "2"^^ . "RIV:J13/98:113200348!RIV/1998/MSM/MSM8MD0" . "Pl\u00E1tek, Martin" . . . . . . "Foundations of Software Technology and Theoretical Computer" . "Different types of monotonicity for restarting automata"@en . "Different types of monotonicity for restarting automata" . "RIV:J13/98:113200348" . . "Berl\u00EDn" . "11320" . . . "Different types of monotonicity for restarting automata"@en . "Different types of monotonicity for restarting automata" . "765291" . "4"^^ . "3-540-65384-8" . . "0"^^ . "Mr\u00E1z, Franti\u0161ek" .