中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
CCS 互模拟等价关系及其完备公理系统的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-06-01
于婷婷
  |  
 
归纳分支互模拟与发散性保持 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
廖文琪
  |  
 
模态逻辑的模型构造和完备性证明 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
李小燕
  |  
 
时序逻辑博弈问题的必胜策略检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-06-01
梁虹
  |  
 
命题动态逻辑及其递归扩展 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
薛冰天
  |  
 
不动点逻辑中的模型构造与推演系统的完备性 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
屈楠
  |  
 
共代数中的互模拟证明方法及其应用 [学位论文]
硕士, 北京市中关村中国科学院软件研究所: 中国科学院软件研究所, 2009-06-02
罗凌云
  |  
 
模态逻辑公式为见证的互模拟等价判定 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009-05-20
李明
  |  
 
无穷状态系统互模拟判定算法 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-05-29
陈海燕
  |  
 
程序设计语言中的继续:理论与实践 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-05-29
喻钢
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace