Joseph S. Miller
发表
Steffen Lempp,
Mariya Soskova,
Joseph S. Miller,
2021
.
Joseph S. Miller,
S. Lempp,
Mingzhong Cai,
2015
.
Joseph S. Miller,
2012
.
André Nies,
George Barmpalias,
Joseph S. Miller,
2012
.
Noam Greenberg,
Daniel Turetsky,
Joseph S. Miller,
2017
.
Adam R. Day,
Joseph S. Miller,
A. Day,
2013
.
Mariya Ivanova Soskova,
Joseph S. Miller,
2018
.
Liang Yu,
Joseph S. Miller,
Liang Yu,
2008
.
Noam Greenberg,
Joseph S. Miller,
2011
.
Liang Yu,
Joseph S. Miller,
2011
.
Adam R. Day,
Joseph S. Miller,
A. Day,
2012,
1206.1603.
Noam Greenberg,
Rod Downey,
Joseph S. Miller,
2016
.
Joseph S. Miller,
JOSEPH S. MILLER,
2006
.
Rod Downey,
Joseph S. Miller,
R. Downey,
2005
.
Adam R. Day,
Joseph S. Miller,
A. Day,
2013,
1304.2789.
Joseph S. Miller,
2014
.
Noam Greenberg,
Rebecca Weber,
Rod Downey,
2008
.
Mariya Ivanova Soskova,
Steffen Lempp,
Rutger Kuyper,
2019,
Transactions of the American Mathematical Society.
Uri Andrews,
Joseph S. Miller,
U. Andrews,
2014
.
Johanna N. Y. Franklin,
Keng Meng Ng,
Noam Greenberg,
2012
.
Bjørn Kjos-Hanssen,
Reed Solomon,
Joseph S. Miller,
2012,
J. Lond. Math. Soc..
Joseph S. Miller,
2011
.
Joseph S. Miller,
I. Kalimullin,
H. Ganchev,
2020
.
Joseph S. Miller,
A. Nies,
Noam Greenberg,
2019,
1912.03016.
Joseph S. Miller,
Gregory Igusa,
U. Andrews,
2019,
Israel Journal of Mathematics.
André Nies,
Joseph S. Miller,
Joseph S. Miller,
2006,
Bulletin of Symbolic Logic.
Joseph S. Miller,
J. Knight,
U. Andrews,
2022,
The Journal of Symbolic Logic.
Joseph S. Miller,
A. Kach,
2008
.
Joseph S. Miller,
Jason M. Rute,
2018,
Israel Journal of Mathematics.
Lawrence S. Moss,
Joseph S. Miller,
Joseph S. Miller,
2005,
Stud Logica.
André Nies,
Laurent Bienvenu,
Rupert Hölzl,
2012,
STACS.
André Nies,
Vasco Brattka,
Joseph S. Miller,
2011,
ArXiv.
Joseph S. Miller,
B. Khoussainov,
Yuh-jeng Liang,
2008
.
Joseph S. Miller,
M. Soskova,
N. Schweber,
2021
.
Joseph S. Miller,
A. Nies,
Noam Greenberg,
2021,
Israel Journal of Mathematics.
Santiago Figueira,
Verónica Becher,
Serge Grigorieff,
2006,
Journal of Symbolic Logic.
André Nies,
Rodney G. Downey,
Denis R. Hirschfeldt,
2005,
J. Math. Log..
Rebecca Weber,
Steffen Lempp,
Keng Meng Ng,
2014,
J. Math. Log..
Joseph S. Miller,
R. Downey,
A. Nies,
2005,
J. Math. Log..
Joseph S. Miller,
F. Stephan,
A. Nies,
2007
.
Joseph S. Miller,
Noam Greenberg,
Peter Cholak,
2005,
Journal of Symbolic Logic.
Joseph S. Miller,
Joseph S. Miller,
2004,
Journal of Symbolic Logic.
Joseph S. Miller,
A. Day,
2013
.
Anil Nerode,
Joseph S. Miller,
A. Nerode,
2002
.
Joseph S. Miller,
Noam Greenberg,
Joseph S. Miller,
2009,
The Journal of Symbolic Logic.
Rutger Kuyper,
Joseph S. Miller,
Joseph S. Miller,
2017,
Ann. Pure Appl. Log..
André Nies,
Santiago Figueira,
Denis R. Hirschfeldt,
2010,
J. Log. Comput..
André Nies,
Santiago Figueira,
Denis R. Hirschfeldt,
2010,
CiE.
Steffen Lempp,
Uri Andrews,
Peter M. Gerdes,
2021,
Log. J. IGPL.
Joseph S. Miller,
S. Lempp,
U. Andrews,
2015
.
Joseph S. Miller,
U. Andrews,
Mingzhong Cai,
2015,
Israel Journal of Mathematics.
André Nies,
Laurent Bienvenu,
Rupert Hölzl,
2013,
J. Math. Log..
Joseph S. Miller,
Joseph S. Miller,
2009,
Notre Dame J. Formal Log..
André Nies,
Frank Stephan,
Wolfgang Merkle,
2005,
Ann. Pure Appl. Log..
Joseph S. Miller,
Joseph S. Miller,
2004,
Journal of Symbolic Logic.
Jun Le Goh,
Joseph S. Miller,
I. Kalimullin,
2022,
The Journal of Symbolic Logic.
Jun Le Goh,
Joseph S. Miller,
L. Westrick,
2023,
2307.11690.
Wolfgang Merkle,
Rupert Hölzl,
Joseph S. Miller,
2020,
The Journal of Symbolic Logic.
Joseph S. Miller,
Noam Greenberg,
Benoit Monin,
2018,
Notre Dame J. Formal Log..
Alexander Shen,
Joseph S. Miller,
Noam Greenberg,
2017,
Theor. Comput. Sci..
Joseph S. Miller,
Mushfeq Khan,
Joseph S. Miller,
2015,
The Bulletin of Symbolic Logic.
Rodney G. Downey,
Steffen Lempp,
Joseph S. Miller,
2014,
Log. Methods Comput. Sci..
Joseph S. Miller,
2020
.
Joseph S. Miller,
Joseph S. Miller,
2017,
Computability and Complexity.