广义可能性计算树逻辑的两种范式

广义可能性计算树逻辑的两种范式

赵杰，李永明

Two Normal Forms Based on Generalized Possibilistic Computation Tree Logic

ZHAO Jie, LI Yongming

计算机科学与探索 . 2016, (10): 1475 -1481 . DOI: 10.3778/j.issn.1673-9418.1507053