田中 一之  TANAKA Kazuyuki

Proc. of SOCREAL2022

巻: - ページ: 74-78

WoLLIC 2022, LNCS

巻: 13468 ページ: 207-220

10.1007/978-3-031-15298-6_13

RIMS Kokyuroku

巻: 2233 ページ: 1-19

Proc. of Computability Theory and Foundations of Mathematics 2019 (Wuhan)

巻: - ページ: 17-45

10.1142/9789811259296_0002

Proc. of Computability Theory and Foundations of Mathematics 2019 (Wuhan)

巻: - ページ: 47-78

10.1142/9789811259296_0003

Methodology and Computing in Applied Probability

巻: 24 号: 1 ページ: 277-287

10.1007/s11009-021-09849-7

RIMS Kokyuroku

巻: 印刷中

数理解析研究所講究録

巻: 2083 ページ: 98-110

RAIRO - Theoretical Informatics and Applications

巻: 51 号: 1 ページ: 29-50

10.1051/ita/2017006

Information Processing Letters

巻: 印刷中

Lecture Notes in Computer Science

巻: 10627 ページ: 286-297

10.1007/978-3-319-71150-8_25

Quantum Information and Computation

巻: 16-3&4 ページ: 251-270

Quantum Information and Computation

巻: 16-3&4 ページ: 251-270

IAENG International Journal of Computer Science

巻: 43-3 ページ: 318-325

IAENG International Journal of Computer Science

巻: 43-3 ページ: 318-325

International MultiConference of Engineers and Computer Scientists

巻: I ページ: 88-93

International MultiConference of Engineers and Computer Scientists

巻: I ページ: 88-93

Lecture Notes in Computer Science

巻: 9198 ページ: 223-234

10.1007/978-3-319-21398-9_18

RIMS Kokyuroku

巻: 印刷中

数理解析研究所講究録

巻: 1950 ページ: 121-137

数理解析研究所講究録

巻: 1950 ページ: 121-137

RIMS Kokyuroku

巻: 印刷中

数学セミナー

巻: 53-11 ページ: 20-25

Quantum Information and Computation

巻: 14 ページ: 1149-1164

110009820596

Quantum Information and Computation

巻: 14巻 ページ: 1149-1164

110009820596

http://www.rintonpress.com/journals/qiconline.html#v14n910

Lecture Notes in Computer Science

巻: 8087 ページ: 801-812

10.1007/978-3-642-40313-2_70

110009820596

Lecture Notes in Computer Science

巻: 7318 ページ: 374-383

10.1007/978-3-642-30870-3_38

Lecture Notes in Computer Science

巻: 7318 ページ: 303-312

10.1007/978-3-642-30870-3_58

Lecture Notes in Computer Science

巻: 7037 ページ: 87-103

10.1007/978-3-642-25280-8_9

RIMS Kokyuroku, "Formal Systems and Computability Theory"

巻: 1729 ページ: 146-151

Lecture Notes in Computer Science

巻: 7037

RIMS Kokyuroku, "Formal Systems and Computability Theory"

巻: 1729 ページ: 167-177

World Scientific

ページ: 345-352

ICCEE 2010 (Chengdu)

巻: v. 7 ページ: 353-357

Proceedings of ICCEE 2010 (Chengdu)

巻: 7 ページ: 353-357

International Journal of Production Research

巻: 47(3) ページ: 667-685

Proceedings of the 10th Asian Logic Conference

ページ: 345-352

The 5th IEEE International Conference on Natural Computation

ページ: 207-211

International Journal of Production Research 47(3)

ページ: 667-685

The 5th IEEE International Conference on Natural Computation, China

巻: 14-16 ページ: 207-211

IEICE Transactions on Information and Systems 91

ページ: 2517-2518

10026806148

World Scientific

ページ: 333-353

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 299-303

IEEE

ページ: 299-303

the 4^<th> International Conference on Natural Computation (ICNC'08), IEEE

ページ: 299-303

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 299-303

Proc. of Computational Prospects of Infinity, World Scientific (印刷中)

The 11th IEEE International Symposium on Scientific and Engineering Computing (SEC-08)

巻: 16-18 ページ: 170-175

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 371-375

IEICE Transactions on Information and Systems 91

ページ: 2517-2518

10026806148

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 371-375

IEEE

ページ: 371-375

Lecture Notes in Computer Science 4508

ページ: 241-250

J. of Symbolic Logic (掲載決定)

International Journal of Production Research (online)

Z. Naturforsch. 62a

ページ: 152-156

Mathematical Logic Quarterly (掲載決定)

Mathematical Logic Quarterly 53

ページ: 226-236

Z. Naturforsch 62a

ページ: 152-156

Z. Naturforsch 62a

ページ: 152-156

Info. Processing Letters 142(2)

ページ: 173-177

Mathematical Logic Quarterly

巻: 53 ページ: 226-236

Journal of Symbolic Logic 72

ページ: 452-462

Lecture Notes in Computer Science 4616

ページ: 323-334

Phys Rev. A73

120003780543

Phys. Rev. A 73

120003780543