すべて 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 その他
すべて 雑誌論文 学会発表 図書
RIMS Kokyuroku
巻: 印刷中
RAIRO - Theoretical Informatics and Applications
巻: 51 ページ: 29-50
10.1051/ita/2017006
Lecture Notes in Computer Science
巻: 10627 ページ: 286-297
10.1007/978-3-319-71150-8_25
Information Processing Letters
IAENG International Journal of Computer Science
巻: 43-3 ページ: 318-325
International MultiConference of Engineers and Computer Scientists
巻: I ページ: 88-93
Quantum Information and Computation
巻: 16-3&4 ページ: 251-270
数理解析研究所講究録
巻: 1950 ページ: 121-137
巻: 9198 ページ: 223-234
10.1007/978-3-319-21398-9_18
数学セミナー
巻: 53-11 ページ: 20-25
巻: 14 ページ: 1149-1164
110009820596
巻: 14巻 ページ: 1149-1164
http://www.rintonpress.com/journals/qiconline.html#v14n910
巻: 8087 ページ: 801-812
10.1007/978-3-642-40313-2_70
巻: 7318 ページ: 374-383
10.1007/978-3-642-30870-3_38
巻: 7318 ページ: 303-312
10.1007/978-3-642-30870-3_58
巻: 7037
巻: 7037 ページ: 87-103
10.1007/978-3-642-25280-8_9
RIMS Kokyuroku, "Formal Systems and Computability Theory"
巻: 1729 ページ: 146-151
巻: 1729 ページ: 167-177
ICCEE 2010 (Chengdu)
巻: v. 7 ページ: 353-357
World Scientific
ページ: 345-352
Proceedings of ICCEE 2010 (Chengdu)
巻: 7 ページ: 353-357
International Journal of Production Research
巻: 47(3) ページ: 667-685
The 5th IEEE International Conference on Natural Computation
ページ: 207-211
Proceedings of the 10th Asian Logic Conference
The 5th IEEE International Conference on Natural Computation, China
巻: 14-16 ページ: 207-211
International Journal of Production Research 47(3)
ページ: 667-685
4rd International Conference on Natural Computation (ICNC'08), IEEE
ページ: 371-375
Proc. of Computational Prospects of Infinity, World Scientific (印刷中)
IEEE
ページ: 299-303
The 11th IEEE International Symposium on Scientific and Engineering Computing (SEC-08)
巻: 16-18 ページ: 170-175
ページ: 333-353
IEICE Transactions on Information and Systems 91
ページ: 2517-2518
10026806148
the 4^<th> International Conference on Natural Computation (ICNC'08), IEEE
Mathematical Logic Quarterly
巻: 53 ページ: 226-236
Mathematical Logic Quarterly 53
ページ: 226-236
Journal of Symbolic Logic 72
ページ: 452-462
Z. Naturforsch 62a
ページ: 152-156
J. of Symbolic Logic (掲載決定)
Z. Naturforsch. 62a
Info. Processing Letters 142(2)
ページ: 173-177
Mathematical Logic Quarterly (掲載決定)
Lecture Notes in Computer Science 4616
ページ: 323-334
Lecture Notes in Computer Science 4508
ページ: 241-250
International Journal of Production Research (online)
Phys. Rev. A 73
120003780543
Phys Rev. A73
