WEKO3
アイテム
LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)
https://ipsj.ixsq.nii.ac.jp/records/147738
https://ipsj.ixsq.nii.ac.jp/records/147738d62baab7-12c2-4f48-9158-dbf272402b02
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006430927.pdf (274.0 kB)
|
Copyright (c) 2004 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-08-20 | |||||||||
| タイトル | ||||||||||
| タイトル | LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング) | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | LA-005 Reducible operations of term rewriting systems and its application | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 北陸先端科学技術大学院大学情報科学研究科 | ||||||||||
| 著者所属 | ||||||||||
| 北陸先端科学技術大学院大学情報科学研究科 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| JAIST | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| JAIST | ||||||||||
| 著者名 |
中村, 正樹
× 中村, 正樹
× 二木, 厚吉
|
|||||||||
| 著者名(英) |
Nakamura, Masaki
× Nakamura, Masaki
× Futatsugi, Kokichi
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA1197723X | |||||||||
| 書誌情報 |
情報科学技術レターズ 巻 3, p. 13-14, 発行日 2004-08-20 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
