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