CORC

浏览/检索结果: 共17条,第1-10条 帮助

已选(0)清除 条数/页:   排序方式:
Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega 期刊论文
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016, 卷号: 82, 期号: 8, 页码: 1283-1299
Barmpalias, G; Fang, N; Lewis-Pye, A
收藏  |  浏览/下载:13/0  |  提交时间:2016/12/09
计算的极限 期刊论文
科学通报, 2016, 卷号: 61, 期号: 4/5, 页码: 404-408
季铮锋; 夏盟佶
收藏  |  浏览/下载:15/0  |  提交时间:2016/12/09
Integer valued betting strategies and Turing degrees 期刊论文
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1387-1412
Barmpalias, G; Downey, RG; McInerney, M
收藏  |  浏览/下载:14/0  |  提交时间:2016/12/13
Turing Computability of the Solution Operator of Nonlinear Pseudo-parabolic Equation 会议论文
2015 International Conference on Software Engineering and Information System (SEIS 2015)
作者:  Lu, Dian-Chen[1];  He, Qin[2]
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/24
Turing-Computability of Solution of Hirota Equation 会议论文
International Conference on Computer Science and Electronic Technology (ICCSET), 2015-01-01
作者:  Lu, Dianchen[1];  Fu, Liming[2]
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/24
Turing Computability of the Solution Operator of Nonlinear Pseudo-parabolic Equation 会议论文
2015 International Conference on Software Engineering and Information System (SEIS 2015), 2015-01-01
作者:  Lu, Dian-Chen[1];  He, Qin[2]
收藏  |  浏览/下载:7/0  |  提交时间:2019/12/24
Turing Computability of the Solution Operator of Nonlinear Pseudo-parabolic Equation 会议论文
International Conference on Software Engineering and Information System (SEIS), 2015-01-01
作者:  Lu, Dian-Chen[1];  He, Qin[2]
收藏  |  浏览/下载:8/0  |  提交时间:2019/12/24
Turing computability of the Solution Operator of a higher order modified Camassa-Holm equation 会议论文
International Conference on Computer Science and Electronic Technology (ICCSET), 2015-01-01
作者:  Lu, Dianchen[1];  Chen, Qiaoqiao[2]
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/24
Turing-Computability of Solution of Hirota Equation 会议论文
PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2015-01-01
作者:  Lu, Dianchen[1];  Fu, Liming[2]
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/24
Turing computability of the Solution Operator of a higher order modified Camassa-Holm equation 会议论文
PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2015-01-01
作者:  Lu, Dianchen[1];  Chen, Qiaoqiao[2]
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/24


©版权所有 ©2017 CSpace - Powered by CSpace