Decidability of Reachability for Right-Shallow Context-Sensitive Term Rewriting Systems
Decidability of Reachability for Right-Shallow Context-Sensitive Term Rewriting Systems
复制标题
右浅上下文相关术语重写系统可达性的可判定性
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
坂部俊樹
中科院分区：
文献类型：
--
作者：
小島芳治;酒井正彦;西田直樹;草刈圭一朗;坂部俊樹
登录
查看更多内容
准地面术语重写系统的可达性问题
影响因子：
--
作者：
M. Oyamaguchi
通讯作者：
M. Oyamaguchi
术语重写系统的可判定近似
DOI：
10.1007/3-540-61464-8_65
发表时间：
1996
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
Florent Jacquemard
通讯作者：
Florent Jacquemard
分层转义术语重写系统及其可识别性保持特性
DOI：
10.1007/3-540-45610-4_8
发表时间：
2002
期刊：
--
影响因子：
--
作者：
H. Seki;Toshinori Takai;Youhei Fujinaka;Y. Kaji
通讯作者：
Y. Kaji
左线性增长术语重写系统的可判定性
DOI：
--
发表时间：
2002
期刊：
Information and Computation 178
影响因子：
--
作者：
K.Kageyama;S.Kadowaki;Takahito Nagaya
通讯作者：
Takahito Nagaya
自下而上的重写是逆向可识别性保留
DOI：
10.1007/978-3-540-73449-9_10
发表时间：
2007
期刊：
--
影响因子：
--
作者：
I. Durand;Géraud Sénizergues
通讯作者：
Géraud Sénizergues