搜索筛选:
搜索耗时2.0324秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：邓楠轶,
来源：陕西师范大学 年份：2018
...
[期刊论文] 作者：邓楠轶,张兴兴,李永明,
来源：陕西师范大学学报：自然科学版 年份：2015
计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释，并利用归纳法证明此不动点为最大或最小不动点。结论表明，广义......
[期刊论文] 作者：张兴兴,邓楠轶,马占有,李永明,
来源：计算机工程与科学 年份：2015
首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL＊、计算树逻辑的约简GPoCTL^-以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨...
相关搜索：
