WEKO3
アイテム
二項多重関係の反射的推移的閉包の構成
http://hdl.handle.net/10232/00007320
http://hdl.handle.net/10232/00007320de0728d4-c2f5-4daf-8c96-fc8c5dd63a92
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
AA11246904_v42_FURUSAWA.pdf (356.0 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-01-13 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | 二項多重関係の反射的推移的閉包の構成 | |||||||||||||||||
| タイトル言語 | ja | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | Construction of Transitive Closure of Binary Multirelations | |||||||||||||||||
| タイトル言語 | en | |||||||||||||||||
| 著者 |
津曲, 紀宏
× 津曲, 紀宏
× 西澤, 弘毅
× 古澤, 仁
|
|||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 主題言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | binary multirelation | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 主題言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | reflexive transitive closure | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 主題言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | semantics | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||||||
| アクセス権 | ||||||||||||||||||
| アクセス権 | open access | |||||||||||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||||||||||
| 要約 | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | Binary multirelations have received attention in recent years as a semantic domain of nondeterministic programming languages. Also, it is known that binary multirelations provide a model of Parikh’s game logic. The iteration operator plays a central role in these programming languages and the logic, and it is natural that the iteration is ineterpreted as the reflexive transitive closure of a binary multirelation. We investigate constructions of the reflexive transitive closure among basic properties of up-closed binary multirelations. | |||||||||||||||||
| 内容記述言語 | en | |||||||||||||||||
| 収録雑誌名 |
ja : 鹿児島大学理学部紀要 en : Reports of the Faculty of Science, Kagoshima University 巻 42, p. 1-9, 発行日 2009 |
|||||||||||||||||
| 作成日 | ||||||||||||||||||
| 日付 | 2009 | |||||||||||||||||
| 日付タイプ | Issued | |||||||||||||||||
| ISSN | ||||||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||||||
| ISSN | 13456938 | |||||||||||||||||
| NII書誌ID（雑誌） | ||||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||||
| NC ID | AA11246904 | |||||||||||||||||
| 出版タイプ | ||||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||||
| NDC | ||||||||||||||||||
| 主題Scheme | NDC | |||||||||||||||||
| 主題 | 410 | |||||||||||||||||
| 公開者・出版者 | ||||||||||||||||||
| 出版者 | 鹿児島大学 | |||||||||||||||||
| 出版者言語 | ja | |||||||||||||||||
| 公開者・出版者 | ||||||||||||||||||
| 出版者 | Kagoshima University | |||||||||||||||||
| 出版者言語 | en | |||||||||||||||||
| 旧URI | ||||||||||||||||||
| 旧URI | http://hdl.handle.net/10232/8537 | |||||||||||||||||
