WEKO3
アイテム
作用型項書換え系に基づく関数論理型言語の設計と実装
http://hdl.handle.net/2241/00135186
http://hdl.handle.net/2241/0013518664bf50b4-94fb-47ff-974a-c42819a1db0e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3608015.pdf (1.1 MB)
|
|
| Item type | Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2016-02-16 | |||||
| タイトル | ||||||
| タイトル | 作用型項書換え系に基づく関数論理型言語の設計と実装 | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | A Design and Implementation of a Functional - Logic Language Based on Applicative Term Rewriting Systems | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 著者 |
浜名, 誠
× 浜名, 誠× 西岡, 知之× 中原, 鉱一× アートミデルドープ× 井田, 哲雄 |
|||||
| 書誌情報 |
ja : 情報処理学会論文誌 en : IPSJ Journal 巻 36, 号 8, p. 1897-1905, 発行日 1995-08-15 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0387-5806 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00116647 | |||||
| 権利情報 | ||||||
| 言語 | ja | |||||
| 権利情報 | © 一般社団法人情報処理学会 | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人情報処理学会 | |||||
| 言語 | ja | |||||
| 出版者 | ||||||
| 出版者 | Information Processing Society of Japan (IPSJ) | |||||
| 言語 | en | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://id.nii.ac.jp/1001/00013847/ | |||||
| 言語 | ja | |||||
| 関連名称 | 本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
