The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs
The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs
复制标题
汇合半构造器 TRS 的可连接性及相关决策问题
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Yamada
中科院分区：
文献类型：
--
作者：
Mitsuhashi;Oyamaguchi;Yamada
登录
查看更多内容
关于右基术语重写系统的单词问题
DOI：
--
发表时间：
1990
期刊：
Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E
影响因子：
--
作者：
M. Oyamaguchi
通讯作者：
M. Oyamaguchi
对于平面术语重写系统来说，可达性和汇合性是不可判定的
DOI：
10.1016/s0020-0190(03)00310-7
发表时间：
2003
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
Florent Jacquemard
通讯作者：
Florent Jacquemard
半构造器 TRS 的可达性及相关决策问题
DOI：
--
发表时间：
2005
期刊：
京都大学数理解析研究所講究録 1426
影响因子：
--
作者：
MITSUHASHI;I.
通讯作者：
I.
关于保留深度的术语重写系统的 Church-Rosser 性质
DOI：
10.11501/3137578
发表时间：
1998
期刊：
--
影响因子：
--
作者：
五味弘
通讯作者：
五味弘
左线性增长术语重写系统的可判定性
DOI：
--
发表时间：
2002
期刊：
Information and Computation 178
影响因子：
--
作者：
K.Kageyama;S.Kadowaki;Takahito Nagaya
通讯作者：
Takahito Nagaya