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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
subtyping algorithm of regular tree grammars with disjoint production rules [会议论文]
7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, Natal, Brazil, September
Chen Lei; Chen Haiming
  |  
 
unbalanced graph partitioning [会议论文]
21st Annual International Symposium on Algorithms and Computations, ISAAC 2010, Jeju Island, Korea, Republic of, 40878
Li Angsheng; Zhang Peng
  |  
 
deciding weak bisimilarity of normed context-free processes using tableau [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Liu Xinxin; Chen Haiyan
  |  
 
formal programming for the shortest path and its critical edge problems [会议论文]
2007 IEEE International Conference on Automation and Logistics, ICAL 2007, Jinan, China, August 18,
Zheng Yujun; Xue Jinyun; Shi Haihe
  |  
 

1

 

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