Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
复制标题
高阶重写系统及其可判定类的头需要策略
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Kiyoshi Agusa
中科院分区：
文献类型：
--
作者：
Hideto Kasuya;Masahiko Sakai;Kiyoshi Agusa
登录
查看更多内容
DOI：
10.1016/s0304-3975(97)00143-6
发表时间：
1998-02
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Richard Mayr;T. Nipkow
通讯作者：
Richard Mayr;T. Nipkow
NV 顺序性：术语重写系统中按需调用计算的可判定条件
DOI：
10.1137/0222010
发表时间：
1993
期刊：
SIAM J. Comput.
影响因子：
--
作者：
M. Oyamaguchi
通讯作者：
M. Oyamaguchi
DOI：
10.1007/bfb0038698
发表时间：
1991-02
期刊：
J. Log. Comput.
影响因子：
--
作者：
D. Miller
通讯作者：
D. Miller
按需要计算调用根稳定形式
DOI：
10.1145/263699.263711
发表时间：
1997
期刊：
--
影响因子：
--
作者：
A. Middeldorp
通讯作者：
A. Middeldorp
DOI：
10.1007/3-540-45788-7_12
发表时间：
2002
期刊：
--
影响因子：
--
作者：
H. Kasuya;Masahiko Sakai;K. Agusa
通讯作者：
K. Agusa