. "Type Checking by Context-Sensitive Languages" . . "0"^^ . . "0"^^ . "RIV/00216305:26230/07:PU86448!RIV10-MSM-26230___" . . . "D8UR3a8RFpURifuxYc5F2WIjtLU=" . . . . "1"^^ . "Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4" . . . . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." . "http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F07%3APU86448!RIV10-MSM-26230___"^^ .