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

Search Results

Help

Item hits: (Results 11-20 of 45)

Items/Page:    Sort:
the loop formula based semantics of description logic programs [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 415, 页码: -
Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang

 
characterizations of locally testable linear- and affine-invariant families [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 414, 期号: 1, 页码: 55-75
Angsheng Li; Yicheng Pan

 
on the number of infinite sequences with trivial initial segment complexity [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 52, 页码: 7133-7146
George Barmpalias; T.F. Sterkenburg

 
on the derandomization of the graph test for homomorphism over groups [会议论文]
Tang Linqing
  |  
 
asymptotic granularity reduction and its application [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 39, 页码: 5374-5386
Su Shenghui; L&#; Shuwang; Fan Xiubin
  |  
 
a novel formalization of symbolic trajectory evaluation semantics in isabelle/hol [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 25, 页码: 2746-2765
Li Yongjian; Hung William N.N.; Song Xiaoyu
  |  
 
theory and applications of models of computation (tamc 2008) [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 18, 页码: 1645-
Agrawal Manindra; Li Angsheng
  |  
 
a computational proof of complexity of some restricted counting problems [期刊论文]
Theoretical Computer Science, 2010-01-01, 页码: -
Jin-Yi Cai; Pinyan Lu; Mingji Xia
  |  
 
problem reduction graph model for discrete optimization problems [会议论文]
3rd International Joint Conference on Computational Sciences and Optimization, CSO 2010: Theoretical Development and Engineering Practice, Huangshan, Anhui, China, 43979
Zheng Yujun; Xue Jinyun
  |  
 
an approximation algorithm to the k-steiner forest problem [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2009-01-01, 卷号: 410, 期号: 11, 页码: 1093-1098
Zhang Peng; Xia Mingji

 

previous 1 2 3 4 5 next

 

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