位置：成果数据库 > 期刊 > 期刊详情页
NP-Logic Systems and Model-Equivalence Reductions
  • ISSN号：1000-9000
  • 期刊名称：Journal of Computer Science and Technology
  • 时间：0
  • 页码：1321-1326
  • 相关项目：二阶逻辑的表达能力与计算复杂性
作者： Shen Yu-Ping|Zhao Xi-Shun|
同期刊论文项目
二阶逻辑的表达能力与计算复杂性
期刊论文 15 会议论文 2
同项目期刊论文
Proof System for Planning under 0-Approximation Semantics
Resolution on Quantified Generalized Clause-sets
On Davis-Putnam reductions for minimally unsatis able clause-sets
The Complexity and Expressive Power of Second-Order Extended Logic
Transformations into Normal Forms for QBF
On Variables with Fewer Occurrences in CNF
量化单一带标公式的消解
Proof System for Planning under cautious Semantics
Complexity and expressive power of second-order Extended Horn logic
Davis-Putnam Reduction for Minimal Unsatisfiable formulas
带测试动作的动态时序逻辑扩展
基于谨慎语义的规划证明系统
二阶扩展逻辑的复杂性与表达能力
期刊信息
  • 《计算机科学技术学报：英文版》
  • 中国科技核心期刊
  • 主管单位:
  • 主办单位:中国科学院计算机技术研究所
  • 主编：
  • 地址：北京2704信箱
  • 邮编：100080
  • 邮箱：jcst@ict.ac.cn
  • 电话：010-62610746 64017032
  • 国际标准刊号：ISSN：1000-9000
  • 国内统一刊号：ISSN：11-2296/TP
  • 邮发代号:2-578
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:505