文献
J-GLOBAL ID:200902172262466652
整理番号:02A0840561
高階書き換え系の子孫及びヘッド正規化
Descendants and Head Normalization of Higher-Order Rewrite Systems.
著者 (3件):
KASUYA H
(Aichi Prefectural Univ., Aichi, JPN)
,
SAKAI M
(Nagoya Univ., Nagoya, JPN)
,
AGUSA K
(Nagoya Univ., Nagoya, JPN)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
2441
ページ:
198-211
発行年:
2002年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)