. . . . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F61989100%3A27240%2F05%3A00012189!RIV06-GA0-27240___"^^ . . . "1.0"^^ . "Computing and Informatics" . . "RIV/61989100:27240/05:00012189!RIV06-GA0-27240___" . "8.0"^^ . "1.0"^^ . "8.0"^^ . . "8.0"^^ . . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "8.0"^^ . . "6322D43B53504FBE1233351F67D74AE6C263D82F" . "Behavioural Equivalences on Finite-State Systems are PTIME-hard" .