位置：成果数据库 > 期刊 > 期刊详情页
Representations of Co-regular Subsets on Euclidean Spaces
  • ISSN号：1002-0462
  • 期刊名称：《数学季刊：英文版》
  • 时间：0
  • 分类：O141.3[理学—数学;理学—基础数学]
  • 作者机构：[1]Institute of Logic and Cognition, Sun Yet-sen University, Guangzhou 510275, China, [2]Office of Scientific Research and Foreign Affairs, Hebi Professional Technology College, Hebi 458030, China
  • 相关基金：Supported by the NSFC（60573011）
作者： QIU Yu-wen[1], WANG Li-ping[2], ZHAO Xi-shun[1]
关键词： 欧氏空间, Co-regular集, 表示式, 可计算集, type-2 theory of effectivity, computability, computable set, representations
中文摘要：

为在公制的空格的 co 常规的子集的可计算性， co 常规的集合上的 co 常规的子集和几个讲理的代表的性质在这份报纸被建议了。作为最后一，这些代表的“更弱”或更强壮的关系被揭示了。

英文摘要：

For the computability of co-regular subsets in metric spaces, the properties of the co-regular subsets and several reasonable representations on co-regular sets have been suggested in this paper. As last, the ＇weaker or stronger＇ relations of these representations have been revealed.

同期刊论文项目
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
同项目期刊论文
Computational Complexity of Quantified Boolean Formulas with Fixed Maximal Deficiency，
Linear CNF Formulas and Satisfiability,
The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas,
Boolean Functions as Models for Quantified Boolean Formulas,
Minimal False Quantified Boolean Formulas,
An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas,
度量空间中co-regular集合的可计算性
A Timed Action Language TE
Complexity of Operators on Compact Sets
An Answer Set Programming System with Cycle Breaking Heuristic,
Comparison of Semantics of Disjunctive Logic Programs Based on Model-equivalent Reduction，
Co-regular集的可计算性探讨
量化带标公式的消解
属性论的分级推理方法
整合非单调推理及时态推理
Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction
一个带破圈启发方法的回答集编程系统
期刊信息
  • 《数学季刊：英文版》
  • 北大核心期刊（2004版）
  • 主管单位:
  • 主办单位:河南大学
  • 主编：胡和生 林群
  • 地址：河南省开封市明伦街85号河南大学
  • 邮编：475001
  • 邮箱：
  • 电话：0378-3881698
  • 国际标准刊号：ISSN：1002-0462
  • 国内统一刊号：ISSN：41-1102/O1
  • 邮发代号:36-170
  • 获奖情况:
  • 1998年河南省优秀科技期刊二等奖. 2000年河南省优...
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）
  • 被引量:468