机构

• 软件研究所 [10]
• 计算技术研究所 [2]

采集方式

• OAI收割 [12]

内容类型

• 会议论文 [6]
• 期刊论文 [6]

发表日期

• 2020 [1]
• 2016 [1]
• 2011 [3]
• 2009 [1]
• 2008 [1]
• 2006 [3]
• 更多

学科主题

• Mathematic... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Asynchronous Computability Theorem in Arbitrary Solo Models 期刊论文  OAI收割 MATHEMATICS, 2020, 卷号: 8, 期号: 5, 页码: 18 作者:  Yue, Yunguang;  Lei, Fengchun;  Liu, Xingwu;  Wu, Jie   |  收藏  |   Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega 期刊论文  OAI收割 JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016, 卷号: 82, 期号: 8, 页码: 1283-1299 Barmpalias, G; Fang, N; Lewis-Pye, A   |  收藏  |   decidable temporal dynamic description logic 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 7, 页码: 1524-1537 Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng   |  收藏  |   cupping and diamond embeddings: a unifying approach 会议论文  OAI收割 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02 Fang Chengling; Liu Jiang; Wu Guohua 收藏  |   determinacy and rewriting of conjunctive queries over unary database schemas 会议论文  OAI收割 26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, Taiwan, March 21, Zheng Lixiao; Chen Haiming   |  收藏  |   Classifying rendezvous tasks of arbitrary dimension 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2009, 卷号: 410, 期号: 21-23, 页码: 2162-2173 作者:  Liu, Xingwu;  Xu, Zhiwei;  Pan, Jianzhong   |  收藏  |   continuity of capping in c-bt 期刊论文  OAI收割 ANNALS OF PURE AND APPLIED LOGIC, 2008, 卷号: 155, 期号: 1, 页码: 1-15 Brodhead Paul; Li Angsheng; Li Weilin   |  收藏  |   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文  OAI收割 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian   |  收藏  |   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文  OAI收割 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian   |  收藏  |   towards practical computable functions on context-free languages 会议论文  OAI收割 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20, Chen Haiming; Dong Yunmei   |  收藏  |