@phdthesis{oai:ir.soken.ac.jp:02000152,
 author = {織田, 幸弘 and ODA, Yukihiro},
 month = {2024-06-06, 2024-06-06},
 note = {application/pdf, 総研大甲第2494号},
 school = {総合研究大学院大学},
 title = {Cut-elimination and Completeness in Cyclic Proof Systems(循環証明体系におけるカット除去と完全性)},
 year = {},
 yomi = {オダ, ユキヒロ}
}