"6.205"^^ . . "4.137"^^ . . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216208%3A11320%2F12%3A10130955!RIV13-GA0-11320___"^^ . . . . . "0.667"^^ . "Information Technologies - Applications and Theory, Conference on Theory and Practice of Information Technologies, Proceedings" . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Scopus" . "MRJCqKUbHY3g3zdBuaSabJ+upqU=" . . "5.333"^^ . "8"^^ . . . . . "RIV/00216208:11320/12:10130955!RIV13-GA0-11320___" . "Localization of (in)consistencies by monotone reducing automata" . . .