Termination of simply-typed applicative term rewriting systems
Termination of simply-typed applicative term rewriting systems
复制标题
终止简单类型应用术语重写系统
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
T.Aoto
中科院分区：
文献类型：
--
作者：
M.Mishima;HARA Mizuho;T.Aoto
登录
查看更多内容
DOI：
10.1016/s0304-3975(97)00143-6
发表时间：
1998-02
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Richard Mayr;T. Nipkow
通讯作者：
Richard Mayr;T. Nipkow
模块化术语重写系统和终止
影响因子：
0.5
作者：
M. Kurihara;I. Kaji
通讯作者：
I. Kaji
项重写系统直和的 Church-Rosser 性质
DOI：
--
发表时间：
1984
期刊：
JACM
影响因子：
--
作者：
Y. Toyama
通讯作者：
Y. Toyama
减少策略和非周期性
DOI：
10.1007/978-3-540-73147-4_5
发表时间：
2007
期刊：
--
影响因子：
--
作者：
J. Klop;V. V. Oostrom;F. Raamsdonk
通讯作者：
F. Raamsdonk
终止术语重写系统不相交并的充分条件的简单证明
DOI：
--
发表时间：
1993
期刊：
Bull. EATCS
影响因子：
--
作者：
Enno Ohlebusch
通讯作者：
Enno Ohlebusch