Collection home page

2083 Proof theory and proving   18

List Of Items (Sorted by table of contents in Ascending order): 1 to 18 of 18
  数理解析研究所講究録 = RIMS Kokyuroku, 2083
file type icon
高さ2の多分岐AND-OR木に対する探索アルゴリズム (証明論と証明活動)
  重水, 美香, 宇佐美, 紘貴 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 1-7
file type icon
An Alternative Proof of 1-Generic Splittings (Proof theory and proving)
  Mizusawa, Yuki, Ban, Koichiro, Suzuki, Toshio (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 8-25
file type icon
Categoricity and Functional Analysis (Proof theory and proving)
  伊藤, 美香 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 26-37
file type icon
ルディクスに対する構文論的考察 (証明論と証明活動)
  西牟田, 祐樹 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 38-44
file type icon
知識構成型ジグソー法におけるフローチャートの利用について (証明論と証明活動)
  稲垣, 元哉 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 45-60
file type icon
フローチャートを用いた逆命題の作成と問題づくり (証明論と証明活動)
  久間, 一輝, 佐々木, 克巳 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 61-75
file type icon
A Higher-arity Sequent Calculus for Model Linear Logic (Proof theory and proving)
  Fukuda, Yosuke, Yoshimizu, Akira (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 76-87
file type icon
計算可能測度論 (証明論と証明活動)
  宮部, 賢志 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 88-97
file type icon
Alternation hierarchies and fragments of modal $mu$-calculus (Proof theory and proving)
  Li, Wenjuan, Omata, Yasuhiko, Tanaka, Kazuyuki (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 98-110
file type icon
Consistency proof of a fragment of PV with substitution in bounded arithmetic (Proof theory and proving)
  Yamagata, Yoriyuki (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 111-112
file type icon
Validity of bilateral classical logic and its application (Proof theory and proving)
  Yamagata, Yoriyuki, Suzuki, Ukyo (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 113-123
file type icon
The Church-Rosser Theorem and Analysis of Reduction Length (Proof theory and proving)
  Fujita, Ken-etsu (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 124-136
file type icon
Distributive Concrete Domains and Sheaves on DI-Domains (Proof theory and proving)
  倉田, 俊彦 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 137-145
file type icon
Gentzen's unpublished normalization theorem and its successors (Proof theory and proving)
  Andou, Yuuki (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 146-149
file type icon
On a certain discontinuous mapping as a continuous relation : summary (Proof theory and proving)
  Yoshida, Satoru, Furusawa, Hitoshi (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 150-155
file type icon
項内に束縛関係を持つ一階述語論理の構成 (証明論と証明活動)
  中村, 知己, 鹿島, 亮 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 156-166
file type icon
シークエントと証明活動 (証明論と証明活動)
  佐々木, 克巳 (2018-08)
  数理解析研究所講究録 = RIMS Kokyuroku, 2083: 167-172
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 18 of 18