宮部 賢志  Miyabe Kenshi

数理解析研究所講究録

巻: 2228 ページ: 215-225

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

巻: - ページ: 97-121

Computability Theory and Foundations of Mathematics

巻: - ページ: 97-121

10.1142/9789811259296_0005

The Annals of Probability

巻: 47 号: 2 ページ: 1136-1151

10.1214/18-aop1281

Stochastic Processes and their Applications

巻: 128 号: 5 ページ: 1466-1484

10.1016/j.spa.2017.07.014

Journal of Logic and Analysis

巻: 10 ページ: 1-13

10.4115/jla.2018.10.3

Theory of Computing Systems

巻: 印刷中 号: 7 ページ: 1599-1619

10.1007/s00224-017-9752-2

Theory of Computing Systems

巻: 58(3) ページ: 441-462

Bulletin of Symbolic Logic

The Bulletin of Symbolic Logic

巻: 22(3) ページ: 305-331

Stochastic Processes and their Applications

巻: 125 号: 1 ページ: 39-59

10.1016/j.spa.2014.08.004

Archive for Mathematical Logic

巻: Volume 54, Issue 3 ページ: 329-358

Theory of Computing Systems

巻: Volume 56, Issue 3 ページ: 465-486

120005619765

Stochastic Preocesses and their Applications

巻: 123 号: 8 ページ: 3132-3152

10.1016/j.spa.2013.03.018

Theory of Computing Systems

巻: 52(1) 号: 1 ページ: 113-132

10.1007/s00224-012-9422-3

120005147549

Stochastic Processes and their Applications

巻: VOL.122 号: 1 ページ: 1-30

10.1016/j.spa.2011.10.011

Logic Journal of the IGPL

巻: 20(1) 号: 1 ページ: 222-234

10.1093/jigpal/jzr032

Mathematical Logic Quarterly

巻: 57 号: 3 ページ: 323-338

10.1002/malq.200910128

数理解析研究所講究録

巻: 1729 ページ: 84-94