WEKO3
アイテム
項書換え系の意味論と自由連続代数
http://hdl.handle.net/20.500.12099/31695
http://hdl.handle.net/20.500.12099/31695604e3043-3f9d-4795-9acf-f41a967fc37b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文(Fulltext) (607.7 kB)
|
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-07-13 | |||||||||
| タイトル | ||||||||||
| タイトル | 項書換え系の意味論と自由連続代数 | |||||||||
| 言語 | ja | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | journal article | |||||||||
| 著者 |
直井, 徹
× 直井, 徹
× 稲垣, 康善
|
|||||||||
| 別言語の著者 | ||||||||||
| 識別子Scheme | WEKO | |||||||||
| 識別子 | 440620 | |||||||||
| 姓名 | NAOI, Tohru | |||||||||
| 言語 | en | |||||||||
| 別言語の著者 | ||||||||||
| 識別子Scheme | WEKO | |||||||||
| 識別子 | 440621 | |||||||||
| 姓名 | INAGAKI, Yasuyoshi | |||||||||
| 言語 | en | |||||||||
| 雑誌名 |
電子情報通信学会論文誌. D, 情報・システム 巻 71, 号 6, p. 942-949, 発行日 1988-06 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | PISSN | |||||||||
| 収録物識別子 | 0913-5731 | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10013389 | |||||||||
| 権利 | ||||||||||
| 権利情報 | copyright 1988 IEICE | |||||||||
| フォーマット | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | application/pdf | |||||||||
| 形態 | ||||||||||
| 値 | 607703 bytes | |||||||||
| 著者版フラグ | ||||||||||
| 出版タイプ | VoR | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||
| その他の言語のタイトル | ||||||||||
| その他のタイトル | Semantics of Term Rewriting Systems and Free Continuous Algebra | |||||||||
| 言語 | en | |||||||||
| 出版者 | ||||||||||
| 出版者 | 社団法人電子情報通信学会 | |||||||||
| 資源タイプ | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 論文(Article) | |||||||||
| 資源タイプ・ローカル | ||||||||||
| 値 | 雑誌掲載論文 | |||||||||
| 資源タイプ・NII | ||||||||||
| 値 | Journal Article | |||||||||
| 資源タイプ・DCMI | ||||||||||
| 値 | text | |||||||||
| 資源タイプ・ローカル表示コード | ||||||||||
| 値 | 01 | |||||||||
| 異版である | ||||||||||
| 関連タイプ | isVersionOf | |||||||||
| 識別子タイプ | URI | |||||||||
| 関連識別子 | http://search.ieice.org/ | |||||||||
| コメント | ||||||||||
| 値 | 出版社版 (publisher version) postprint | |||||||||
