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

Search Results

Help

Item hits: (Results 1-2 of 2)

Filters                
Items/Page:    Sort:
towards a theory of bisimulation for the higher-order process calculi [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 3, 页码: 352-363
Li Yongjian; Xin-Xin Liu
  |  
 
linear algorithm for lexicographic enumeration of cfg parse trees [期刊论文]
Science in China Series F: Information Sciences, 2004-01-01, 卷号: 52, 期号: 7, 页码: 1177-1202
Dong Yunmei
  |  
 

1

 

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