The Third Homomorphism Theorem on Trees : Upward & Downward Leads to Divide-and-Conquer
The Third Homomorphism Theorem on Trees : Upward & Downward Leads to Divide-and-Conquer
复制标题
树的第三同态定理：向上
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
et al.
中科院分区：
文献类型：
--
作者：
Akimasa Morihata;Kiminori Matsuzaki;et al.
登录
查看更多内容
正则类型的导数是其单孔上下文类型
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
Conor McBride
通讯作者：
Conor McBride
课题组推荐博士论文报告：Parallel Planning with Tree Skeletons
DOI：
--
发表时间：
2011
期刊：
--
影响因子：
--
作者：
亮太 中村
通讯作者：
亮太 中村
DOI：
--
发表时间：
1989
期刊：
影响因子：
--
作者：
M. Fokkinga
通讯作者：
M. Fokkinga
走向自动化元组策略
影响因子：
--
作者：
W. Chin
通讯作者：
W. Chin
通过构建列表同态形式化推导高效并行程序
DOI：
--
发表时间：
1997
期刊：
TOPL
影响因子：
--
作者：
Zhenjiang Hu;H. Iwasaki;M. Takeichi
通讯作者：
M. Takeichi