DECIDABILITY

作品数：8被引量：7H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：殷建平张波云蒿敬波更多>>
相关机构：国防科学技术大学更多>>
相关期刊：《Science China(Information Sciences)》《Journal of Computer Science & Technology》《Science China Mathematics》《Frontiers of Computer Science》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=理学—数学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Decidable subsets of open logic and an algorithm for R-calculus被引量：1
《Science China(Information Sciences)》2015年第1期70-80,共11页ZHANG Wei 
supported by State Key Laboratory of Software Development Environment Open Fund (Grant No. SKLSDE-2012KF-02);Key Construction Program of the National 985 Project (Grant No. 26311005)
Open logic is an attractive logic theory that can describe the growth and evolution of knowledge.However, related studies show that open logic is undecidable in first-order logic and thus is hard to be programmed. Thi...
关键词：open logic DECIDABILITY maximal contraction R-calculus mechanical theorem proving 
Self-similar fractals: An algorithmic point of view
《Science China Mathematics》2014年第4期755-766,共12页WANG Qin XI LiFeng ZHANG Kai 
supported by National Natural Science Foundation of China(Grants Nos.11071224 and 11371329);Program for New Century Excellent Talents in University;Natural Science Foundation of Zhejiang Province(Grants Nos.LY12F02011 and LR13A1010001);Foundation of Zhejiang Educational Committee(Grant No.Y201226044)
This paper studies the self-similar fractals with overlaps from an algorithmic point of view.A decidable problem is a question such that there is an algorithm to answer"yes"or"no"to the question for every possible inp...
关键词：FRACTAL DECIDABILITY DIMENSION separation condition 
On the decidability of open logic被引量：1
《Science in China(Series F)》2009年第8期1283-1291,共9页ZHANG Wei 
Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical ...
关键词：open logic epistemic process DECIDABILITY 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部