TY - 计算机科学与探索 A1 - 鲍秋霜,张晋津 T1 - 直觉主义计算树逻辑中的安全性和活性 Y1 - 2016-02-01 JF - 计算机科学与探索 JO - 计算机科学与探索 SP - 163 EP - 172 VL - 10 IS - 2 UR - http://fcst.ceaj.org N1 - 10.3778/j.issn.1673-9418.1506009 ER -