欢迎访问陕西师范大学学报(自然科学版)官方网站！
广义可能性计算树逻辑的不动点语义
邓楠轶,张兴兴,李永明
Fixed-point semantics of computation tree logic based on generalized possibility measures
DENG Nanyi, ZHANG Xingxing, LI Yongming
陕西师范大学学报(自然科学版) . 2015, (4): 22 -27 . 

版权所有 © 《陕西师范大学学报(自然科学版)》编辑部
地址：中国西安陕西师范大学长安校区文汇楼C段3层　
邮编：710119
电话：029-81530883，81530879，81530885　
E-mail：lkxuebao@snnu.edu.cn
技术支持：北京玛格泰克科技发展有限公司