The Complexity of Translation Membership for Macro Tree Transducers
The Complexity of Translation Membership for Macro Tree Transducers
复制标题
宏树换能器翻译成员资格的复杂性
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
稲葉一浩
中科院分区：
文献类型：
--
作者：
Kazuhiro Inaba;Haruo Hosoya;稲葉一浩
登录
查看更多内容
基于一元二阶逻辑的XML转换语言
DOI：
--
发表时间：
2006
期刊：
第8回プログラミングおよびプログラミング言語ワークショップ予稿集
影响因子：
--
作者：
稲葉 一浩;細谷 晴夫
通讯作者：
細谷 晴夫
DOI：
10.1109/swat.1973.5
发表时间：
1973
期刊：
--
影响因子：
--
作者：
W. Rounds
通讯作者：
W. Rounds
使用宏树转换器进行 XML 类型检查
DOI：
--
发表时间：
2005
期刊：
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子：
--
作者：
S. Maneth;A. Berlea;T. Perst;H. Seidl
通讯作者：
H. Seidl
带孔宏树传感器的 XML 类型检查
DOI：
--
发表时间：
2008
期刊：
--
影响因子：
--
作者：
S. Maneth;Keisuke Nakano
通讯作者：
Keisuke Nakano
线性大小增加的宏树翻译可由 MSO 定义
DOI：
10.1137/s0097539701394511
发表时间：
2003
期刊：
SIAM J. Comput.
影响因子：
--
作者：
J. Engelfriet;S. Maneth
通讯作者：
S. Maneth