位置：立项数据库 > 立项详情页
逻辑方法建模中的可满足性广州国际研讨会
  • 项目名称：逻辑方法建模中的可满足性广州国际研讨会
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：60610306218
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：赵希顺
  • 依托单位：中山大学
  • 批准年度：2006
赵希顺的项目
度量空间上的计算复杂性理论
　量化线性时序逻辑研究
期刊论文 1
第11届可满足性问题的理论与应用国际会议
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
　表达能力与计算复杂性研究
期刊论文 2
二阶逻辑的表达能力与计算复杂性
期刊论文 15 会议论文 2
　社会博弈的逻辑与计算模拟研究
期刊论文 2
极小不可满足公式的结构与分类
计算机科学的数学基础
度量空间上的计算复杂性的进一步研究