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

Search Results

Help

Item hits: (Results 1-10 of 24)

Filters    
Items/Page:    Sort:
characterizations of one-way general quantum finite automata [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 419, 页码: -
Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus

 
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

 
a precongruence format for should testing preorder [期刊论文]
Journal of Logic and Algebraic Programming, 2010-01-01, 卷号: In Press, Accepted Manuscript, 页码: -
Xiaowei Huang; Jiao Li; Weiming Lu
  |  
 
elementary differences among jump classes [期刊论文]
Theoretical Computer Science, 2009-01-01, 卷号: 410, 期号: 11, 页码: 1042-1053
Li Angsheng
  |  
 
continuity of capping in CbT [期刊论文]
Annals of Pure and Applied Logic, 2008-01-01, 卷号: 155, 期号: 1, 页码: 40193
Paul Brodhead; Li Angsheng; Weilin Li
  |  
 
a polynomial dynamic system approach to software design for attractivity requirement [期刊论文]
Information Sciences, 2007-01-01, 卷号: 177, 期号: 13, 页码: 2712-2725
Xiang-Yun Wang; Zhang Wenhui; Yong-Chao Li; Kai-Yuan Cai
  |  
 
point-in-polygon tests by convex decomposition [期刊论文]
Computers & Graphics, 2007-01-01, 卷号: 31, 期号: 4, 页码: 636-648
Jing Li; Wencheng Wang; Wu Enhua
  |  
 
dar: an energy-balanced data-gathering scheme for wireless sensor networks [期刊论文]
Computer Communications, 2007-01-01, 卷号: 30, 期号: 14-15, 页码: 2812-2825
Yanzhong Bi; Na Li; Sun Limin
  |  
 
the existence of high nonbounding degrees in the difference hierarchy [会议论文]
NZIMA Logic and Computation Workshop, Tahuna Beach, NEW ZEALAND, JAN 11-16,
Chong CT; Li A; Yang Y
  |  
 

1 2 3 next

 

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