文献
J-GLOBAL ID:200902122378159598
整理番号:02A0654651
層化変換項書き換えシステムおよびその認識可能性保存特性
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.
著者 (4件):
SEKI H
(Nara Inst. Sci. and Technol., Ikoma, JPN)
,
TAKAI T
(National Inst. Advanced Industrial Sci. and Technol., Amagasaki, JPN)
,
FUJINAKA Y
(Nara Inst. Sci. and Technol., Ikoma, JPN)
,
KAJI Y
(Nara Inst. Sci. and Technol., Ikoma, JPN)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
2378
ページ:
98-113
発行年:
2002年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)