WEKO3
アイテム
A-034 基底項書き換え系の合流性自動判定(モデル・アルゴリズム・プログラミング,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149054
https://ipsj.ixsq.nii.ac.jp/records/149054c1653aab-3c02-4934-b099-db61c6d56504
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006864710.pdf (203.9 kB)
|
Copyright (c) 2009 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-08-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | A-034 基底項書き換え系の合流性自動判定(モデル・アルゴリズム・プログラミング,一般論文) | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | A-034 Automating Confluence Check of Ground Term Rewriting Systems | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 東北大学電気通信研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 東北大学電気通信研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 東北大学電気通信研究所 | ||||||||||||
| 著者名 |
村井, 正勝
× 村井, 正勝
× 青戸, 等人
× 外山, 芳人
|
|||||||||||
| 著者名(英) |
Murai, Masakatsu
× Murai, Masakatsu
× Aoto, Takahito
× Toyama, Yoshihito
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA1242354X | |||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 8, 号 1, p. 325-326, 発行日 2009-08-20 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
