首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   1篇
  自动化技术   2篇
  2000年   1篇
  1979年   1篇
排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
证明存在一个保持最大元1的可计算枚举高度的钻石格.  相似文献
2.
Jacobs在[9]中把抽象计算复杂性理论推广为广义计算复杂性理论。目前已有许多重要的抽象计算复杂性理论中的定理,都被他推广到广义计算复杂性理论中了。其中还包括Borodin的间隙定理。Jacobs还企图推广Constable的算子间隙定理,但未成功,因此他提出Constable的算子间隙定理是否可以推广到一切可允许序数α的前节上去的问题。本文里把Constable的算子间隙定理推广到一切可允许序数α的前节上去,从而回答了Jacobs的问题。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号