论文研究Decision Procedure for Propositional Projection Temporal Logic with Infinite 上传者：CSDN阿坤 2019-09-27 17:02:18上传 PDF文件 635.85KB 热度 40次 命题投影时序逻辑在无穷模型范围内的判定过程，段振华，田聪，本文研究命题投影时序逻辑(PPTL)在无穷模型下的可满足性的判定算法.为此,我们定义了PPTL公式的标准范式(NormalForm)和标准范式图(Nor 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
