すべて 2013 2012 2011 2010 2009 2008 2007 2006 2005 その他
すべて 雑誌論文 学会発表 図書
http://drops.dagstuhl.de/opus/volltexte/2009/227
http://drops.dagstuhl.de/opus/volltexte/2009/2275
Logical Methods in Computer Science
巻: 9(3:9) ページ: 1-11
10.2168/lmcs-9(3:9)2013
Logical Methods in Coamputer Science
巻: Vol.9(3:9) ページ: 1-11
数理科学
巻: 12月号 ページ: 60-61
University of Cape Town (Abstract集)
ページ: 17-17
110009995243
Scientiae Mathematicae Japonicae Vol.71
ページ: 331-341
Scientiae Mathematicae Japonicae
巻: 71, No.3, No.23
http://www.jams.or.jp/scm/contents/e-2010-2/2010-16.pdf
巻: 71 ページ: 331-341
Automata, Formal Languages and Algebraic Systems(World Scientific)
ページ: 139-162
巻: Vol.71 ページ: 331-341
Scientiae Mathematicae Japonicae (掲載決定)
Automata, Formal Languages and Algebraic Systems (World Scientific)
Formal Languages and Algebraic Systems (World Scientific)
Scientiae Mathematicae Japonicae(2010年3月10日掲載決定)
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2275
ページ: 245-256
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, Dagstuhl esearch Online Publication 2009/2275
Dagstuhl Research Online Publication
巻: 2270 ページ: 185-196
http://drops.dagstuhl.de/opus/volltexte/2009/2270/pdf/Mori.2270.pdf
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2270
ページ: 185-196
Lecture Notes in Artificial Intelligence Vol.5489
ページ: 109-125
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 20 2009/2275
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis 2009/2270 Dagstuhl Research OnlinePublication
Journal of Universal Computer Science Vol.15
ページ: 1264-1279
Journal of Universal Computer Science
巻: Vol.15 ページ: 1264-1279
http://www.jucs.org/jucs_15_6/fine_computable_functions_on
巻: 2275 ページ: 245-256
http://drops.dagstuhl.de/opus/volltexte/2009/2275/pdf/Tsujii.2275.pdf
Mathematical Logic Quarterly 15巻6号(けいさい確定)
Journal of Universal Computer Science 15
Journal of Universal Computer Science Issue
巻: 6, vol.15 ページ: 1264-1279
Lecture Notes in Artificial Intelligence
巻: Vol.5489 ページ: 1264-1279
Mathematical Logic Quarterly Vol.54
ページ: 519-534
Electronic Notes in Theoretical Computer Science Vol.221
ページ: 141-152
Electronic Notes in Theoretical Computer Science 221
哲学論叢(京都大学哲学論叢刊行会編) XXXV
ページ: 199-209
120001863191
哲学論叢(京都大学哲学論叢刊行会編) XXXV巻
MAST (accepted)
Electronic Notes in Theoretical Computer Science、 ENTCS 202
ページ: 279-293
Mathematical Logic Quarterly 54
Annals of the Japan Association for Philosophy of Science 15-2
ページ: 99-121
110007033699
Annals of t he Japan Association for Philosophy of Science 15-2
Journal of Universal Computer Science 11-12
ページ: 2179-2191
Proceedings of CCA2005 : Informatik Berichte, FernUniversitaet in Hagen 326-7
ページ: 301-318
Topology and its Applications (Elsevier Science) 146-147
ページ: 563-582
Topology and its Applications 146-147
Topology and its Applications (Elsevier Science) No.146-147
