WEKO3
インデックスリンク
アイテム
User-defined on-demand matching
http://hdl.handle.net/2297/23901
http://hdl.handle.net/2297/239012bbc8e5e-9635-4dda-b1d1-9abdf2c6c14a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-NAKAMURA-M-1401.pdf (277.7 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | User-defined on-demand matching | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
Nakamura, Masaki
× Nakamura, Masaki× Ogata, Kazuhiro× Futatsugi, Kokichi |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
IEICE Transactions on Information and Systems 巻 E92-D, 号 7, p. 1401-1411, 発行日 2009-01-01 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0916-8532 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA10826272 | |||||
| DOI | ||||||
| 関連タイプ | isIdenticalTo | |||||
| 識別子タイプ | DOI | |||||
| 関連識別子 | 10.1587/transinf.E92.D.1401 | |||||
| 出版者 | ||||||
| 出版者 | The Institute of Electronics, Information and Communication Engineers = 電子情報通信学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | We propose a user-defined on-demand matching strategy, called O-matching, in which users can control the order of matching arguments of each operation symbol. In ordinary matching schemes it is not important to set the order of matching, however, in on-demand matching schemes, it is very important since an input term may be changed while doing the on-demand matching process. O-matching is suitable to combine with the E-strategy, which is a user-defined reduction strategy in which users can control the order of reducing arguments. We show a sufficient condition under which the E-strategy with O-matching is correct for head normal forms, that is, any reduced term is a head normal form. Copyright © 2009 The Institute of Electronics, Information and Communication Engineers. | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
