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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
extensions of embeddings in the computably enumerable degrees [会议论文]
5th International Conference on Theory and Applications of Models of Computation, Xian, PEOPLES R CHINA, APR 25-29,
Zhao Jitai
  |  
 
definable filters in the structure of bounded turing reductions [会议论文]
5th International Conference on Theory and Applications of Models of Computation, Xian, PEOPLES R CHINA, APR 25-29,
Li Angsheng; Li Weilin; Paul Yicheng; Tang Linqing
  |  
 
derandomizing graph tests for homomorphism [会议论文]
5th International Conference on Theory and Applications of Models of Computation, Xian, PEOPLES R CHINA, APR 25-29,
Li Angsheng; Tang Linqing
  |  
 
stratifying winning positions in parity games [会议论文]
29th International Conference on Applications and Theory of Petri Nets, Xian, PEOPLES R CHINA, JUN 23-27,
Lin Huimin
  |  
 
more on weak bisimilarity of normed basic parallel processes [会议论文]
5th International Conference on Theory and Applications of Models of Computation, Xian, PEOPLES R CHINA, APR 25-29,
Chen Haiyan
  |  
 

1

 

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