"Theory and practice of logic programming" . . . "14.358"^^ . "0.75"^^ . "ypa7N.QqyV40g4tTUPwNf7exa-s=" . . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "RIV/00216224:14330/06:00016828!RIV10-MSM-14330___" . . "Equivalence-Checking on Infinite-State Systems: Techniques and Results" . . . . . . "19.144"^^ . "http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F06%3A00016828!RIV10-MSM-14330___"^^ . .