无秩树结构数据和语义多态类型系统的研究

61070038
2010
F0201.计算机科学的基础理论
陈海明
面上项目
研究员
中国科学院软件研究所
32万元
XML;可判定性;多态类型系统;算法;无秩树语言
2011-01-01到2013-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 基于文法分支覆盖的短句子生成算法 期刊论文 郑黎晓|许智武|陈海明|
2 Deciding determinism of unary languages is coNP-complete 会议论文 Lu, Ping|Peng, Feifei|Chen, Haiming|
3 Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models 会议论文 Chen, Haiming|Lu, Ping|
4 Determinacy and rewriting of conjunctive queries over unary database schemas 会议论文 Zheng, Lixiao|Chen, Haiming|
5 Set-theoretic Foundation of Parametric Polymorphism and Subtyping 会议论文 Castagna, Giuseppe|Xu, Zhiwu|
6 Derivatives of Regular Expressions and an Application 会议论文 陈海明|Sheng Yu|
7 确定型语言的相关研究综述 期刊论文 陈海明|陆平|
8 基于MST的优化技术:监督式编译 期刊论文 郑丽丽|陈海明|
9 正规树文法的产生式相交判定 期刊论文 倪晓勇|陈海明|
10 A Toolkit for Generating Sentences from Context-Free Grammars 期刊论文 Zhuwu Xu|Lixiao Zheng|Haiming Chen|
11 View Determinacy for Preserving Selected Information in Data Transformations 期刊论文 Wenfei Fan|Floris Geerts|Lixiao Zheng|
12 Polymorphic Functions with Set-Theoretic Types 会议论文 Guiseppe Castagna|Kim Nguyen|Zhiwu Xu|Hyeonseung Im|Sergeui Lenglet|Luca Padovani|
13 Checking Determinism of Regular Expressions with Counting 会议论文 陈海明|Ping Lu|
14 View Determinacy for Preserving Selected Information in Data Transformations 期刊论文 Wenfei Fan|Floris Geerts|Lixiao Zheng|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享