All 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2008 2007 2006 2005 2004 Other
All Journal Article Presentation Book
Transactions on Engineering Technologies
Volume: 1 Pages: 182-193
10.1007/978-981-32-9808-8_15
CEUR Workshop Proceedings
Volume: 2116 Pages: 68-75
Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2018, IMECS 2018, 14-16 March, 2018, Hong Kong
Volume: 1
Information Processing Letters
Volume: 139 Pages: 13-17
10.1016/j.ipl.2018.06.013
Annals of the Japan Association for Philosophy of Science
Volume: 25
130006069121
IAENG International Journal of Applied Mathematics
Volume: 46 Pages: 187-193
Information and Computation
Volume: -
10.1016/j.ic.2015.03.004
京都大学数理解析研究所講究録
Volume: 1950 Pages: 34-39
Annals of Pure and Applied Logic
Volume: 166 Pages: 1150-1164
10.1016/j.apal.2015.07.002
IAENG Transactions on Engineering Sciences
Volume: special issue Pages: 91-100
10.1201/b16763-10
Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2013
The Bulletin of Symbolic Logic
Volume: 19
IAENG Transactions on Electrical Engineering
Volume: 1 Pages: 70-83
Volume: 42 Pages: 122-128
Lecture Notes in Engineering and Computer Science : Proceedings of IMECS 2012
Pages: 194-199
Volume: 1729 Pages: 111-116
Proceedings of the 11th Asian Logic Conference
Pages: 128-146
Volume: 1729 Pages: 95-110
Bulletin of Symbolic Logic
Volume: 16 Pages: 295-296
Archive for Mathematical Logic 47
Pages: 159-180
Archive for Mathematical Logic
Volume: 47 Pages: 159-180
IEICE Trans. Fundamentals Vol.E90-A, No.1
Pages: 128-138
京都大学数理解析研究所講究録 1533
Pages: 9-14
算術体系の証明論(Proof theory of arithmetic, Kyoto, 2007).数理解析研究所講究録 1553
Proof theory of arithmetic, Kyoto 2007 1553
算術体系の証明論(Prooftheory of arithmetic, Kyoto, 2007).数理解析研究所講究録 1553
Surikaisekikenkyusho-kokyuroku 1533
数理解析研究所講究録 1533
京都大学数理解析研究所講究録 1442
Pages: 42-47
Archive for Mathematical Logic (掲載予定)
Surikaisekikenkyusho-kokyutoku 1422
Pages: 8-41
Surikaisekikenkyusho-kokyuroku 1422
Theoretical Computer Science 347
Pages: 90-129
Archive for Mathematical Logic 44
Pages: 751-762
Exploring New Frontiers of Theoretical Informatics (単行本)
Pages: 81-95
