Top > Back > 学術論文・プロシーディングス・著作 の検索結果 5 件中 1‐5 件目
| Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics |
| [ 全著者名 ] Makoto Fujiwara |
| [ 掲載誌名 ] Lecture Notes in Computer Science |
| [ 掲載年月 ] 2020年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| A Logical Characterization of the Continuous Bar Induction |
| [ 全著者名 ] Makoto Fujiwara;Tatsuji Kawai |
| [ 掲載誌名 ] Knowledge, Proof and Dynamics |
| [ 掲載年月 ] 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
