谓词形式系统 <font face="Verdana">V</font> <em>UL</em> <sup>-</sup> <sub>h∈[0.75,1]</sub>及其完备性

谓词形式系统 V UL ^- _h∈[0.75,1]及其完备性

马盈仓 ^1，3，何华灿 ²

Predicate formal system V UL ^- _h∈[0.75,1] and its completeness

MA Ying-cang ^1，3，HE Hua-can ²

计算机工程与应用 . 2010, (34): 17 -20 . DOI: 10.3778/j.issn.1002-8331.2010.34.006