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