. . . . . . . "P(1ET100300517), Z(MSM0021620838)" . . "Praha" . . . "RIV/00216208:11320/09:00206547" . . . "Mr\u00E1z, Franti\u0161ek" . . "Clearing Restarting Automata"@en . "[6043D53E1369]" . . . "\u010Cerno, Peter" . . "1"^^ . "Clearing Restarting Automata" . "11320" . "RIV/00216208:11320/09:00206547!RIV10-MSM-11320___" . . "Clearing; Restarting; Automata"@en . "Clearing Restarting Automata"@en . "Clearing Restarting Automata" . "307255" . "2"^^ . "KSVI2009/2" . . "Simulator of clearing restarting automata which allows to learn them from example reductions. Freely downloadable from http://www.petercerno.wz.cz/RACLWin32.zip"@en . . . "16kB" . "Simulator of clearing restarting automata which allows to learn them from example reductions. Freely downloadable from http://www.petercerno.wz.cz/RACLWin32.zip" .