On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions
复制标题
关于将窄化树转化为生成替换范围的规则树语法
DOI：
10.4204/eptcs.289.5
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Dallmeyer
中科院分区：
文献类型：
--
作者：
Schmidt-Schauss;Dallmeyer
登录
查看更多内容
基本缩小的完整性结果
DOI：
10.1007/bf01190830
发表时间：
1994
期刊：
Applicable Algebra in Engineering, Communication and Computing
影响因子：
--
作者：
A. Middeldorp;E. Hamoen
通讯作者：
E. Hamoen
计算有限 SLD 树的框架
DOI：
10.1016/j.jlamp.2014.11.006
发表时间：
2015
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Naoki Nishida;G. Vidal
通讯作者：
G. Vidal
DOI：
10.1007/3-540-61735-3_7
发表时间：
1996
期刊：
Applicable Algebra in Engineering, Communication and Computing
影响因子：
--
作者：
M. Marchiori
通讯作者：
M. Marchiori
规范形式和统一
DOI：
10.1007/3-540-10009-1_25
发表时间：
1980
期刊：
J. ACM
影响因子：
--
作者：
J. Hullot
通讯作者：
J. Hullot
右侧带有额外变量的条件重写系统的级别汇合
DOI：
10.1007/3-540-59200-8_56
发表时间：
1995
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Taro Suzuki;A. Middeldorp;T. Ida
通讯作者：
T. Ida