. . "1"^^ . . "Regular Tree Expressions and Deterministic Pushdown Automata" . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F68407700%3A21240%2F11%3A00183720!RIV12-MSM-21240___"^^ . "0"^^ . . "0"^^ . . "Proceeding of the 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science" . "0"^^ . "0"^^ . . . . "sJdIb57vrdEfyaAbSEqsjsT!RMo=" . "RIV/68407700:21240/11:00183720!RIV12-MSM-21240___" . . . . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." .