Controlled Term Rewriting

Controlled Term Rewriting
复制标题

受控术语重写

DOI:
--
复制
发表时间:
2012
期刊:
Lecture Notes in Computer Science
影响因子:
--
通讯作者:
酒井正彦
酒井正彦
中科院分区:
--
文献类型:
--
作者:
Frolent Jacquemard;小島芳治;酒井正彦

文献摘要

参考文献

被引文献

相似文献

表达式树的最优代码生成:BURS 理论的应用
DOI: 10.1145/73560.73586
发表时间: 1988
期刊: --
影响因子: --
作者:
Eduardo Pelegrí;S. Graham
通讯作者: S. Graham
通过逆序导数进行代码选择
DOI: 10.1016/0304-3975(90)90145-8
发表时间: 1990
期刊: Theor. Comput. Sci.
影响因子: --
作者:
R. Giegerich
通讯作者: R. Giegerich
树自动机的最小化
DOI: --
发表时间: 1968
影响因子: --
作者:
W. Brainerd
通讯作者: W. Brainerd
DOI: --
发表时间: 1989
期刊: --
影响因子: --
作者:
R. Giegerich
通讯作者: R. Giegerich
用于代码选择的两个树模式匹配器:(包括定位)
DOI: 10.22028/d291-26458
发表时间: 1986
期刊: --
影响因子: --
作者:
B. Weisgerber;R. Wilhelm
通讯作者: R. Wilhelm