1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 18.
検索結果:
書誌情報ファイル
知識構成型ジグソー法におけるフローチャートの利用について (証明論と証明活動)
  稲垣, 元哉 (2018-08)
  数理解析研究所講究録, 2083: 45-60
file type icon 
Alternation hierarchies and fragments of modal $mu$-calculus (Proof theory and proving)
  Li, Wenjuan; Omata, Yasuhiko; Tanaka, Kazuyuki (2018-08)
  数理解析研究所講究録, 2083: 98-110
file type icon 
計算可能測度論 (証明論と証明活動)
  宮部, 賢志 (2018-08)
  数理解析研究所講究録, 2083: 88-97
file type icon 
A Higher-arity Sequent Calculus for Model Linear Logic (Proof theory and proving)
  Fukuda, Yosuke; Yoshimizu, Akira (2018-08)
  数理解析研究所講究録, 2083: 76-87
file type icon 
Validity of bilateral classical logic and its application (Proof theory and proving)
  Yamagata, Yoriyuki; Suzuki, Ukyo (2018-08)
  数理解析研究所講究録, 2083: 113-123
file type icon 
ルディクスに対する構文論的考察 (証明論と証明活動)
  西牟田, 祐樹 (2018-08)
  数理解析研究所講究録, 2083: 38-44
file type icon 
Consistency proof of a fragment of PV with substitution in bounded arithmetic (Proof theory and proving)
  Yamagata, Yoriyuki (2018-08)
  数理解析研究所講究録, 2083: 111-112
file type icon 
Gentzen's unpublished normalization theorem and its successors (Proof theory and proving)
  Andou, Yuuki (2018-08)
  数理解析研究所講究録, 2083: 146-149
file type icon 
Distributive Concrete Domains and Sheaves on DI-Domains (Proof theory and proving)
  倉田, 俊彦 (2018-08)
  数理解析研究所講究録, 2083: 137-145
file type icon 
The Church-Rosser Theorem and Analysis of Reduction Length (Proof theory and proving)
  Fujita, Ken-etsu (2018-08)
  数理解析研究所講究録, 2083: 124-136
file type icon 

絞り込み