...
机译:投影时间逻辑的决策程序和完整的公理化
Xian Univ Posts &
Commun Sch Comp Sci &
Technol Xian 710061 Peoples R China;
Xidian Univ Inst Comp Theory &
Technol Xian 710071 Peoples R China;
Harbin Inst Technol Shenzhen Grad Sch Shenzhen 51855 Peoples R China;
Projection temporal logic; Axiomatization; Labeled normal form graph; Decision procedure;
机译:投影时间逻辑的决策程序和完整的公理化
机译:命题投影时间逻辑有效决策程序
机译:命题投影时间逻辑的基于规范形式的决策程序和模型检查方法
机译:命题投影时间逻辑的完全公理化
机译:集成决策程序以进行时间验证。
机译:基于模糊逻辑和决策树的临床决策支持系统预测结直肠癌
机译:交替时间逻辑的完全公理化和可判定性
机译:时态逻辑编程是完整和富有表现力的