Top > Back > 学術論文・プロシーディングス・著作 の検索結果 6 件中 1‐6 件目
| An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis |
| [ 全著者名 ] Makoto Fujiwara |
| [ 掲載誌名 ] Lecture Notes in Computer Science |
| [ 掲載年月 ] 2022年 6月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| A Logical Characterization of the Continuous Bar Induction |
| [ 全著者名 ] Makoto Fujiwara;Tatsuji Kawai |
| [ 掲載誌名 ] Knowledge, Proof and Dynamics |
| [ 掲載年月 ] 2020年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics |
| [ 全著者名 ] Makoto Fujiwara |
| [ 掲載誌名 ] Lecture Notes in Computer Science |
| [ 掲載年月 ] 2020年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Bar induction and restricted classical logic |
| [ 全著者名 ] Makoto Fujiwara |
| [ 掲載誌名 ] Lecture Notes in Computer Science |
| [ 掲載年月 ] 2019年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Intuitionistic Provability versus Uniform Provability in RCA |
| [ 全著者名 ] Makoto Fujiwara |
| [ 掲載誌名 ] Lecture Notes in Computer Science |
| [ 掲載年月 ] 2015年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| A note on the sequential version of Π12 statements |
| [ 全著者名 ] Makoto Fujiwara; Keita Yokoyama |
| [ 掲載誌名 ] Lecture Notes in Computer Science |
| [ 掲載年月 ] 2013年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
Previous
|
1
|
Next
