. "19.144"^^ . . "ypa7N.QqyV40g4tTUPwNf7exa-s=" . . . "4.786"^^ . "Equivalence-checking on infinite-state systems: Techniques and results" . . . "RIV/61989100:27240/06:00013734!RIV11-AV0-27240___" . "Theory and Practice of Logic Programming" . . . "http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F61989100%3A27240%2F06%3A00013734!RIV11-AV0-27240___"^^ . . "0.25"^^ . . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." .