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