Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
复制标题
半构造器术语重写系统最内层终止和上下文相关终止的可判定性
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Sakabe
中科院分区：
文献类型：
--
作者：
Keita;Uchiyama;Masahiko;Sakai;Toshiki;Sakabe
登录
查看更多内容
通过转换证明上下文相关重写的终止
DOI：
10.1016/j.ic.2006.07.001
发表时间：
2006
期刊：
Inf. Comput.
影响因子：
--
作者：
Salvador Lucas
通讯作者：
Salvador Lucas
上下文相关重写的终止
DOI：
10.1007/3-540-62950-5_69
发表时间：
1997
期刊：
--
影响因子：
--
作者：
H. Zantema
通讯作者：
H. Zantema
半构造 TRS、左线性浅 TRS 及相关系统的终止可判定性
DOI：
--
发表时间：
2006
期刊：
Proc. of 17th Int'l Conference on Rewriting Techniges and Applications LNCS 4098
影响因子：
--
作者：
Wang Yi;Masahiko Sakai
通讯作者：
Masahiko Sakai
终止具有浅右线性、折叠和右基规则的重写系统
DOI：
10.1007/11532231_12
发表时间：
2005
期刊：
--
影响因子：
--
作者：
Guillem Godoy;A. Tiwari
通讯作者：
A. Tiwari
左线性增长术语重写系统的可判定性
DOI：
--
发表时间：
2002
期刊：
Information and Computation 178
影响因子：
--
作者：
K.Kageyama;S.Kadowaki;Takahito Nagaya
通讯作者：
Takahito Nagaya