On Decidability of Innermost Termination for Shallow Term Rewriting Systems
On Decidability of Innermost Termination for Shallow Term Rewriting Systems
复制标题
浅项重写系统最内层终止的可判定性
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Masahiko Sakai
中科院分区：
文献类型：
--
作者：
笹田悠司;酒井正彦;西田直樹;坂部俊樹;草刈圭一朗;Satoshi Taoka;Masahiko Sakai
登录
查看更多内容
半构造 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：
--
发表时间：
2007
期刊：
Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming (Refereed)
影响因子：
--
作者：
Keita;Uchiyama;Masahiko;Sakai;Toshiki;Sakabe
通讯作者：
Sakabe
左线性增长术语重写系统的可判定性
DOI：
--
发表时间：
2002
期刊：
Information and Computation 178
影响因子：
--
作者：
K.Kageyama;S.Kadowaki;Takahito Nagaya
通讯作者：
Takahito Nagaya
DOI：
--
发表时间：
2005
期刊：
International Symposium on Frontiers of Combining Systems
影响因子：
--
作者：
J. Giesl;René Thiemann;Peter Schneider
通讯作者：
Peter Schneider