文献
J-GLOBAL ID:200902295324323416
整理番号:04A0122364
左辺線形項書換系のChurch-Rosserに関する未解決問題
On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems
著者 (2件):
OYAMAGUCHI M
(Mie Univ., Tsu-shi, JPN)
,
OHTA Y
(Mie Univ., Tsu-shi, JPN)
資料名:
IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)
(IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers))
巻:
E87-D
号:
2
ページ:
290-298
発行年:
2004年02月01日
JST資料番号:
L1371A
ISSN:
0916-8532
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)