"28.791"^^ . "57.581"^^ . . . "RIV/61989100:27240/12:86084450!RIV13-GA0-27240___" . . . . . . "0.5"^^ . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F61989100%3A27240%2F12%3A86084450!RIV13-GA0-27240___"^^ . . . . "44.663"^^ . "2012 27TH Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)" . "22.332"^^ . . "Decidability of DPDA Language Equivalence via First-Order Grammars" . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Scopus bodovan\u00FD podle SJR zdroje typu \"Book Series\" nebo \"Conference Proceedings\"" . . "3cLbBjcDiTWGZWLftZ7T5d80HSY=" . . .