Mingzhong Cai

发表

Steffen Lempp, Antonio Montalbán, Iskander Sh. Kalimullin, 2016, J. Symb. Log..

Richard A. Shore, Mingzhong Cai, R. Shore, 2013, The Journal of Symbolic Logic.

George Barmpalias, Steffen Lempp, Theodore A. Slaman, 2015, J. Math. Log..

Mingzhong Cai, Mingzhong Cai, 2010, Notre Dame J. Formal Log..

Mingzhong Cai, 2011, CiE.

Mingzhong Cai, Mingzhong Cai, 2010, J. Math. Log..

Rodney G. Downey, Steffen Lempp, Joseph S. Miller, 2014, Log. Methods Comput. Sci..

Mingzhong Cai, 2014, Ann. Pure Appl. Log..

Richard A. Shore, Mingzhong Cai, R. Shore, 2012, The Journal of Symbolic Logic.

Mariya Ivanova Soskova, Steffen Lempp, Joseph S. Miller, 2016, Comput..

Mingzhong Cai, 2012, J. Symb. Log..

Mingzhong Cai, Mingzhong Cai, 2012, Notre Dame J. Formal Log..

Richard A. Shore, Theodore A. Slaman, Mingzhong Cai, 2012, J. Math. Log..

Michael McInerney, Mingzhong Cai, Noam Greenberg, 2016, Forum of Mathematics, Sigma.

Carl G. Jockusch, Steffen Lempp, Uri Andrews, 2016 .