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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
一类受限正则表达式的推断算法 [期刊论文]
计算机科学, 2014-01-01, 卷号: 41, 期号: 4, 页码: 178-183
冯晓强; 郑黎晓; 陈海明

 
确定型语言的相关研究综述 [期刊论文]
集成技术, 2013-01-01, 期号: 6, 页码: 65-70
陈海明; 陆平

 
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  
 
inclusion test algorithms for one-unambiguous regular expressions [会议论文]
5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Istanbul, TURKEY, SEP 01-03,
Chen Haiming; Chen Lei
  |  
 
efficient type checking for a subclass of regular expression types [会议论文]
9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21,
Chen Lei; Chen Haiming
  |  
 

1

 

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