位置：立项数据库 > 立项详情页
　量化线性时序逻辑研究
  • 项目名称：　量化线性时序逻辑研究
  • 批准号：11JJD720020
  • 项目来源：2011年度教育部人文社会科学重点研究基地重大项目
  • 研究期限：2011-09-
  • 项目负责人：赵希顺
  • 依托单位：中山大学
  • 批准年度：2011
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 1
  • 0
  • 0
  • 0
  • 0
期刊论文
二阶扩展逻辑的复杂性与表达能力
赵希顺的项目
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
　表达能力与计算复杂性研究
期刊论文 2
二阶逻辑的表达能力与计算复杂性
期刊论文 15 会议论文 2
　社会博弈的逻辑与计算模拟研究
期刊论文 2
极小不可满足公式的结构与分类
计算机科学的数学基础
度量空间上的计算复杂性的进一步研究
逻辑方法建模中的可满足性广州国际研讨会
第11届可满足性问题的理论与应用国际会议
度量空间上的计算复杂性理论