文献
J-GLOBAL ID:200902000499335077
整理番号:89A0374317
非線形項書換えシステムのユニークに収束する性質
On the uniquely converging property of nonlinear term rewriting systems.
著者 (2件):
OGAWA M
(NTT Software Lab., Tokyo, JPN)
,
ONO S
(NTT Software Lab., Tokyo, JPN)
資料名:
情報処理学会研究報告
(IPSJ SIG Technical Reports)
巻:
89
号:
40(SF-29)
ページ:
61-70
発行年:
1989年05月18日
JST資料番号:
Z0031B
ISSN:
0919-6072
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)