二阶逻辑相关硕士博士期刊学术论文 - 皮皮文库

二阶逻辑相关论文

有限线性时态逻辑程序综合的理论与算法研究

程序综合是一种通过系统行为规范来自动设计生成交互式系统模型的技术。目前主流的行为规范语言叫做线性时态逻辑LTL。然而LTL程序......

学位

有限线性时态逻辑程序综合符号化自动机一阶逻辑二阶逻辑自动机最小化

系统发生谱的逻辑分析方法在生物网络研究中的应用

细胞中的基因、蛋白质以复杂相互作用关系系统地调控细胞活动。本文利用系统发生谱的逻辑建模和分析方法来鉴别基因间的高阶逻辑关......

学位

系统发生谱逻辑分析方法生物网络二阶逻辑类型分布

看过本文同时还关注