ログイン
言語:
言語:
WEKO3
トップ
ランキング
検索キーワード
検索
詳細検索
閉じる
全文
キーワード
タイトル
著者名
資源タイプ
アイテムタイプ
インデックス
タイトル
著者名
資源タイプ
アイテムタイプ
インデックス
タイトル
著者名
資源タイプ
アイテムタイプ
インデックス
conference paper
data paper
departmental bulletin paper
editorial
journal article
newspaper
periodical
review article
software paper
article
book
book part
cartographic material
map
conference object
conference proceedings
conference poster
dataset
interview
image
still image
moving image
video
lecture
patent
internal report
report
research report
technical report
policy report
report part
working paper
data management plan
sound
thesis
bachelor thesis
master thesis
doctoral thesis
interactive resource
learning object
manuscript
musical notation
research proposal
software
technical documentation
workflow
other
タイトル
著者名
資源タイプ
アイテムタイプ
インデックス
学位論文 / Thesis or Dissertation
科研費報告書 / Reports of Grants-in-Aid for Scientidic Research
教材 / Learning Material
その他 / Others
プロジェクト報告書 / Project Report
要旨 / Abstract
その他 / Others_03
その他 / Others_04
プロジェクト報告書 / Project Report_02
学術雑誌論文 / Journal Article
紀要論文 / Departmental Bulletin Paper
会議発表論文 / Conference Paper
一般雑誌記事 / Article
会議発表用資料 / Presentation
報告書 / Research Paper
図書 / Book
図書の一部 / Book
DublinCore
Journal Article
Thesis or Dissertation
Departmental Bulletin Paper
Conference Paper
Presentation
Book
Technical Report
Research Paper
Article
Preprint
Learning Material
Data or Dataset
Software
Others
Learning Object Metadata
LIDO
デフォルトアイテムタイプ(シンプル)
デフォルトアイテムタイプ(フル)
タイトル
著者名
資源タイプ
アイテムタイプ
インデックス
010 学術雑誌論文
010 学術雑誌論文/蟻川, 謙太郎 / ARIKAWA, Kentaro
010 学術雑誌論文/フィンレー・スチュアート / FINLAY, Stewart
010 学術雑誌論文/五條堀, 淳 / GOJOBORI, Jun
010 学術雑誌論文/長谷川, 眞理子 / HASEGAWA, Mariko
010 学術雑誌論文/平田, 光司 / HIRATA, Kohji
010 学術雑誌論文/本郷, 一美 / HONGOU, Hitomi
010 学術雑誌論文/洞田, 慎一 / HORATA, Shinichi
020 学位論文
020 学位論文/先端学術院
020 学位論文/先端学術院/01 人類文化研究コース
020 学位論文/先端学術院/02 国際日本研究コース
020 学位論文/先端学術院/03 日本歴史研究コース
020 学位論文/先端学術院/04 日本文学研究コース
020 学位論文/先端学術院/05 日本語言語科学コース
020 学位論文/先端学術院/06 情報学コース
020 学位論文/先端学術院/07 統計科学コース
020 学位論文/先端学術院/08 素粒子原子核コース
020 学位論文/先端学術院/09 加速器科学コース
020 学位論文/先端学術院/10 天文科学コース
020 学位論文/先端学術院/11 核融合科学コース
020 学位論文/先端学術院/12 宇宙科学コース
020 学位論文/先端学術院/13 分子科学コース
020 学位論文/先端学術院/14 物質構造科学コース
020 学位論文/先端学術院/15 総合地球環境学コース
020 学位論文/先端学術院/16 極域科学コース
020 学位論文/先端学術院/17 基礎生物学コース
020 学位論文/先端学術院/18 生理科学コース
020 学位論文/先端学術院/19 遺伝学コース
020 学位論文/先端学術院/20 統合進化科学コース
020 学位論文/文化科学研究科
020 学位論文/文化科学研究科/01 地域文化学専攻
020 学位論文/文化科学研究科/02 比較文化学専攻
020 学位論文/文化科学研究科/03 国際日本研究専攻
020 学位論文/文化科学研究科/04 日本歴史研究専攻
020 学位論文/文化科学研究科/05 メディア社会文化専攻
020 学位論文/文化科学研究科/06 日本文学研究専攻
020 学位論文/物理科学研究科
020 学位論文/物理科学研究科/07 構造分子科学専攻
020 学位論文/物理科学研究科/08 機能分子科学専攻
020 学位論文/物理科学研究科/09 天文科学専攻
020 学位論文/物理科学研究科/10 核融合科学専攻
020 学位論文/物理科学研究科/11 宇宙科学専攻
020 学位論文/高エネルギー加速器科学研究科
020 学位論文/高エネルギー加速器科学研究科/12 加速器科学専攻
020 学位論文/高エネルギー加速器科学研究科/13 物質構造科学専攻
020 学位論文/高エネルギー加速器科学研究科/14 素粒子原子核専攻
020 学位論文/複合科学研究科
020 学位論文/複合科学研究科/15 統計科学専攻
020 学位論文/複合科学研究科/16 極域科学専攻
検索条件追加
検索
クリア
インデックスリンク
インデックスツリー
RootNode
×
メールアドレスを入力してください。
メールアドレス
メールアドレス(確認用)
×
WEKO
One fine body…
×
WEKO
One fine body…
Confirm
OK
キャンセル
Are you sure you want to delete this item?
Are you sure you want to delete this version?
アイテム
020 学位論文
複合科学研究科
17 情報学専攻
Cut-elimination and Completeness in Cyclic Proof Systems(循環証明体系におけるカット除去と完全性)
https://ir.soken.ac.jp/records/2000152
https://ir.soken.ac.jp/records/2000152
29d3ece1-d3b3-4f0a-a733-cf56e9915383
名前 / ファイル
ライセンス
アクション
要旨・審査要旨 / Abstract, Screening Result (254 KB)
ダウンロード
Information
本文 / Thesis (695 KB)
ダウンロード
Information
Item type
学位論文 / Thesis or Dissertation(1)
公開日
2024-06-06
タイトル
タイトル
Cut-elimination and Completeness in Cyclic Proof Systems(循環証明体系におけるカット除去と完全性)
言語
ja
タイトル
タイトル
Cut-elimination and Completeness in Cyclic Proof Systems
言語
en
言語
言語
eng
資源タイプ
資源タイプ識別子
http://purl.org/coar/resource_type/c_db06
資源タイプ
doctoral thesis
アクセス権
アクセス権
open access
アクセス権URI
http://purl.org/coar/access_right/c_abf2
著者名
織田, 幸弘
×
織田, 幸弘
ja
織田, 幸弘
Search repository
フリガナ
オダ, ユキヒロ
×
オダ, ユキヒロ
ja-Kana
オダ, ユキヒロ
Search repository
著者
ODA, Yukihiro
×
ODA, Yukihiro
en
ODA, Yukihiro
Search repository
学位授与機関
学位授与機関識別子Scheme
kakenhi
学位授与機関識別子
12702
言語
ja
学位授与機関名
総合研究大学院大学
学位名
言語
ja
学位名
博士(情報学)
学位記番号
内容記述タイプ
Other
内容記述
総研大甲第2494号
言語
ja
研究科
言語
ja
値
複合科学研究科
専攻
言語
ja
値
17 情報学専攻
学位授与年月日
学位授与年月日
2024-03-22
学位授与年度
言語
ja
値
2023
学位授与番号
学位授与番号
甲第2494号
所蔵
値
無
フォーマット
内容記述タイプ
Other
内容記述
application/pdf
著者版フラグ
出版タイプ
VoR
出版タイプResource
http://purl.org/coar/version/c_970fb48d4fbd8a85
戻る
0
views
表示する統計期間を選択
total
See details
Views
Versions
Ver.1
2024-06-06 01:53:34.545336
Show All versions
Share
Mendeley
Twitter
Facebook
Print
Addthis
Cite as
エクスポート
OAI-PMH
JPCOAR 2.0
JPCOAR 1.0
DublinCore
DDI
Other Formats
JSON
BIBTEX
×
Confirm