All 2013 2012 2011 2010 2009 2008 2007 2006 2005 Other
All Journal Article Presentation Book
Logical Methods in Computer Science
Volume: 9(3:9) Pages: 1-11
Logical Methods in Coamputer Science
Volume: Vol.9(3:9) Pages: 1-11
数理科学
Volume: 12月号 Pages: 60-61
University of Cape Town (Abstract集)
Pages: 17-17
Scientiae Mathematicae Japonicae Vol.71
Pages: 331-341
Scientiae Mathematicae Japonicae
Volume: 71, No.3, No.23
Volume: 71 Pages: 331-341
Automata, Formal Languages and Algebraic Systems(World Scientific)
Pages: 139-162
Volume: Vol.71 Pages: 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
Pages: 245-256
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, Dagstuhl esearch Online Publication 2009/2275
Dagstuhl Research Online Publication
Volume: 2270 Pages: 185-196
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2270
Pages: 185-196
Lecture Notes in Artificial Intelligence Vol.5489
Pages: 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
Pages: 1264-1279
Journal of Universal Computer Science
Volume: Vol.15 Pages: 1264-1279
Volume: 2275 Pages: 245-256
Mathematical Logic Quarterly 15巻6号(けいさい確定)
Journal of Universal Computer Science 15
Journal of Universal Computer Science Issue
Volume: 6, vol.15 Pages: 1264-1279
Lecture Notes in Artificial Intelligence
Volume: Vol.5489 Pages: 1264-1279
Mathematical Logic Quarterly Vol.54
Pages: 519-534
Electronic Notes in Theoretical Computer Science Vol.221
Pages: 141-152
Electronic Notes in Theoretical Computer Science 221
哲学論叢(京都大学哲学論叢刊行会編) XXXV
Pages: 199-209
哲学論叢(京都大学哲学論叢刊行会編) XXXV巻
MAST (accepted)
Electronic Notes in Theoretical Computer Science、 ENTCS 202
Pages: 279-293
Mathematical Logic Quarterly 54
Annals of the Japan Association for Philosophy of Science 15-2
Pages: 99-121
Annals of t he Japan Association for Philosophy of Science 15-2
Journal of Universal Computer Science 11-12
Pages: 2179-2191
Proceedings of CCA2005 : Informatik Berichte, FernUniversitaet in Hagen 326-7
Pages: 301-318
Topology and its Applications (Elsevier Science) 146-147
Pages: 563-582
Topology and its Applications 146-147
Topology and its Applications (Elsevier Science) No.146-147
