1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 2150 証明論とその周辺
このアイテムのアクセス数: 114

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/255058
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2150-07.pdf6.08 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author矢崎, 大志ja
dc.contributor.alternativeYazaki, Daishien
dc.contributor.transcriptionヤザキ, ダイシ-
dc.date.accessioned2020-09-29T05:53:13Z-
dc.date.available2020-09-29T05:53:13Z-
dc.date.issued2020-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/255058-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.publisher.alternativeResearch Institute for Mathematical Sciences, Kyoto Universityen
dc.subject.ndc410-
dc.titleSome variants of analytic (cut) of modal logic $bf{S5}$, $bf{K4B}$, and ${bf{K}}_{bf{t}}{bf{4}}$ (Proof theory and related topics)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume2150-
dc.identifier.spage76-
dc.identifier.epage89-
dc.textversionpublisher-
dc.sortkey07-
dc.address静岡大学創造科学技術大学院ja
dc.address.alternativeGraduate School of Science and Technology, Shizuoka Universityen
dcterms.accessRightsopen access-
dc.identifier.jtitle-alternativeRIMS Kokyurokuen
出現コレクション:2150 証明論とその周辺

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。