中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega [期刊论文]
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016-01-01, 卷号: 82, 期号: 8, 页码: 1283-1299
Barmpalias, G; Fang, N; Lewis-Pye, A
  |  
 
Integer valued betting strategies and Turing degrees [期刊论文]
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015-01-01, 卷号: 81, 期号: 7, 页码: 1387-1412
Barmpalias, G; Downey, RG; McInerney, M
  |  
 
Minimum disclosure proofs of knowledge [期刊论文]
Journal of Computer and System Sciences, 1988-01-01, 卷号: 37, 期号: 2, 页码: 156 - 189
Gilles Brassard; David Chaum; Claude Crépeau
  |  
 
Propositional dynamic logic of nonregular programs [期刊论文]
Journal of Computer and System Sciences, 1983-01-01, 卷号: 26, 期号: 2, 页码: 222-243
David Harel; Amir Pnueli; Jonathan Stavi
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace