Top   >   Back   >   学会発表 の検索結果 10 件中 110 件目

Conservation theorems on semi-classical arithmetic
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] Dagstuhl Seminar 21472: Geometric Logic, Constructivisation, and Automated Theorem Proving
[ 発表日付 ] 2021年11月21日 ~ 11月26日
Conservation theorems on semi-classical arithmetic
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] New Frontiers in Proofs and Computation
[ 発表日付 ] 2021年9月12日 ~ 9月17日
Decomposition of König's lemma and its unique variants in constructive reverse mathematics
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] Fourth Workshop on Mathematical Logic and its Applications
[ 発表日付 ] 2021年3月22日 ~ 3月24日
The decidable fan theorem in constructive and classical reverse mathematics
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] Oberwolfach Workshop ID 2046: Mathematical Logic: Proof Theory, Constructive Mathematics
[ 発表日付 ] 2020年11月8日 ~ 11月14日
Weihrauch and constructive reducibility between existence statements
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] Seventeenth International Conference on Computability and Complexity in Analysis
[ 発表日付 ] 2020年9月9日 ~ 9月11日
Parallelizations in Weihrauch reducibility and constructive reverse mathematics
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] Computability in Europe 2020: Beyond the horizon of computability
[ 発表日付 ] 2020年6月29日 ~ 7月2日
Bar induction and restricted classical logic
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] 26th Workshop on Logic, Language, Information and Computation
[ 発表日付 ] 2019年7月2日 ~ 7月5日
A Logical Characterization of the Continuous Bar Induction
[ 共同発表者名 ] Makoto Fujiwara;Tatsuji Kawai
[ 学会・会議名 ] The 4th Asian Workshop on Philosophical Logic
[ 発表日付 ] 2018年10月20日 ~ 10月21日
Intuitionistic provability versus uniform provability in RCA
[ 共同発表者名 ] Makoto Fujiwara
[ 学会・会議名 ] Computability in Europe 2015: Evolving Computability
[ 発表日付 ] 2015年6月29日 ~ 7月3日
A note on the sequential version of Π12 statements
[ 共同発表者名 ] Makoto Fujiwara; Keita Yokoyama
[ 学会・会議名 ] Computability in Europe 2013: The Nature of Computation
[ 発表日付 ] 2013年7月1日 ~ 7月5日
Previous | 1 | Next