文献
J-GLOBAL ID:200902106271740187
整理番号:98A0877080
高次書換え系のための改善された繰り返し分解順序づけ
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems.
著者 (3件):
IWAMI M
(Japan Advanced Inst. Sci. and Technol., Ishikawa-ken, JPN)
,
SAKAI M
(Nagoya Univ., Nagoya-shi, JPN)
,
TOYAMA Y
(Japan Advanced Inst. Sci. and Technol., Ishikawa-ken, 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))
巻:
E81-D
号:
9
ページ:
988-996
発行年:
1998年09月
JST資料番号:
L1371A
ISSN:
0916-8532
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)