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

Search Results

Help

Item hits: (Results 1-10 of 15)

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
  |  
 
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
  |  
 
an approximation algorithm to the k-steiner forest problem [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Zhang Peng
  |  
 
approximation to the minimum rooted star cover problem [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Zhao Wenbo; Zhang Peng
  |  
 
maximum edge-disjoint paths problem in planar graphs [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Xia Mingji
  |  
 
enhancing simulation for checking language containment [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Yi Jin; Zhang Wenhui
  |  
 
elementary differences among jump hierarchies [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Li Angsheng
  |  
 
#3-regular bipartite planar vertex cover is #p-complete [会议论文]
3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20,
Xia Mingji; Zhao Wenbo

 

1 2 next

 

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