WEKO3
アイテム
Definition of Flat Poset and Existence Theorems for Recursive Call
http://hdl.handle.net/10091/00019143
http://hdl.handle.net/10091/0001914383bf6773-cf34-4e92-8200-5c3c7576df0b
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2016-09-14 | |||||||||||
タイトル | ||||||||||||
タイトル | Definition of Flat Poset and Existence Theorems for Recursive Call | |||||||||||
言語 | ||||||||||||
言語 | eng | |||||||||||
DOI | ||||||||||||
関連識別子 | https://doi.org/10.2478/forma-2014-0001 | |||||||||||
関連名称 | 10.2478/forma-2014-0001 | |||||||||||
資源タイプ | ||||||||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
タイプ | journal article | |||||||||||
著者 |
Ishida, Kazuhisa
× Ishida, Kazuhisa
× Shidama, Yasunari
× Grabowski, Adam
|
|||||||||||
信州大学研究者総覧へのリンク | ||||||||||||
氏名 | Shidama, Yasunari | |||||||||||
URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html | |||||||||||
出版者 | ||||||||||||
出版者 | De Gruyter Open | |||||||||||
引用 | ||||||||||||
内容記述 | Formalized Mathematics. 22(1): 1-10 (2014) | |||||||||||
書誌情報 |
Formalized Mathematics 巻 22, 号 1, p. 1-10, 発行日 2014-03 |
|||||||||||
資源タイプ(コンテンツの種類) | ||||||||||||
内容記述 | Article | |||||||||||
ISSN | ||||||||||||
収録物識別子タイプ | ISSN | |||||||||||
収録物識別子 | 1898-9934 | |||||||||||
権利 | ||||||||||||
権利情報 | © 2014 University of Białystok by Kazuhisa Ishida. CC-BY-SA License ver. 3.0 or later | |||||||||||
出版タイプ | ||||||||||||
出版タイプ | VoR | |||||||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |