CORC

在结果中检索

CORC

浏览/检索结果: 共21条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Deciding Determinism of Regular Languages 期刊论文
Theory of Computing Systems, 2014
Lu, Ping (1); Bremer, Joachim (2); Chen, Haiming (1)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
derivatives of regular expressions and an application 会议论文
International Workshop on Theoretical Computer Science, WTCS 2012, Auckland, New zealand, February 21, 2012 - February 24, 2012
Chen Haiming; Yu Sheng
收藏  |  浏览/下载：5/0  |  提交时间：2013/09/22
checking determinism of regular expressions with counting 会议论文
16th International Conference on Developments in Language Theory, DLT 2012, Taipei, Taiwan, August 14, 2012 - August 17, 2012
Chen Haiming; Lu Ping
收藏  |  浏览/下载：7/0  |  提交时间：2013/09/22
assisting the design of xml schema: diagnosing nondeterministic content models 会议论文
13th Asia-Pacific Conference on Web Technology, APWeb 2011, Beijing, China, April 18,
Chen Haiming; Lu Ping
收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10
determinacy and rewriting of conjunctive queries over unary database schemas 会议论文
26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, Taiwan, March 21,
Zheng Lixiao; Chen Haiming
收藏  |  浏览/下载：19/0  |  提交时间：2011/10/10
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
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/31
a toolkit for generating sentences from context-free grammars 会议论文
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, September
Xu Zhiwu; Zheng Lixiao; Chen Haiming
收藏  |  浏览/下载：15/0  |  提交时间：2011/03/31
a systematic framework for grammar testing 会议论文
8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03,
Zheng Lixiao; Chen Haiming
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/20
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
收藏  |  浏览/下载：10/0  |  提交时间：2011/06/13
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
收藏  |  浏览/下载：11/0  |  提交时间：2011/06/13

©版权所有 ©2017 CSpace - Powered by CSpace