Rod Downey
发表
Keng Meng Ng,
Rod Downey,
Alexander G. Melnikov,
2019,
Ann. Pure Appl. Log..
Rod Downey,
2007
.
Rod Downey,
Ellen Chih,
2019,
Comput..
Rod Downey,
Noam Greenberg,
R. Downey,
2018,
Bull. Symb. Log..
Rod Downey,
1990
.
Iskander Sh. Kalimullin,
Rod Downey,
Alexander G. Melnikov,
2019,
The Bulletin of Symbolic Logic.
Rod Downey,
R. Downey,
2014,
Turing's Legacy.
Alexander Leitsch,
Toshiyasu Arai,
Harvey Friedman,
2002
.
Rod Downey,
R. Downey,
2006
.
Markus Lohrey,
Moshe Y. Vardi,
Dietrich Kuske,
2008,
Algorithmic-Logical Theory of Infinite Structures.
Denis R. Hirschfeldt,
Rod Downey,
Michael R. Fellows,
2001
.
Michael Stob,
Carl G. Jockusch,
Rod Downey,
1990
.