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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters    
Items/Page:    Sort:
Prespecification in data refinement [期刊论文]
Information Processing Letters, 1987-01-01, 卷号: 25, 期号: 2, 页码: 71 - 76
C.A.R.Hoare; Jifeng He; J.W.Sanders
  |  
 
The weakest prespecification [期刊论文]
Information Processing Letters, 1987-01-01, 卷号: 24, 期号: 2, 页码: 127 - 132
C.A.R.Hoare; Jifeng He
  |  
 
Does co-NP have short interactive proofs? [期刊论文]
Information Processing Letters, 1987-01-01, 卷号: 25, 期号: 2, 页码: 127 - 132
R. B. Boppana; J. Hastad; S. Zachos
  |  
 
A theoretical basis for stepwise refinement and the programming calculus [期刊论文]
Science of Computer Programming, 1987-01-01, 卷号: 9, 期号: 3, 页码: 287 - 306
Joseph M. Morris
  |  
 
On the cunning power of cheating verifiers: Some observations about zero knowledge proofs [会议论文]
28th Annual Symposium on Foundations of Computer Science, Los Angeles, USA, 1987
Yair Oren
  |  
 
Does co-NP have short interactive proofs? [期刊论文]
Information Processing Letters, 1987-01-01, 卷号: 25, 期号: 2, 页码: 127 - 132
R. B. Boppana; J. Hastad; S. Zachos
  |  
 
Interactive proof systems: Provers that never fail and random selection [会议论文]
28th Annual Symposium on Foundations of Computer Science, Los Angeles, 1987
Oded Goldreich; Yishay Mansour; Michael Sipser
  |  
 

1

 

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