首页 > 论文下载

谓词μ演算和模态图的语义一致性

期刊名字：软件学报
文件大小：
论文作者：刘剑，林惠民
作者单位：中国科学院
更新时间：2022-04-25
下载次数：次

会员下载(3点)

VIP会员下载(0点)

游客扫码下载(3点)

论文简介

模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.

论文截图

上一条：水资源可持续承载能力概念及研究思路探讨

下一条：从噬菌体抗体库中筛选出抗原结合活性相近、表达水平不同的单链抗体

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。

不动点谓词(演算嵌套谓词等式系模态图