Russell G. Miller

发表

Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann, 2011, ArXiv.
Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell G. Miller, 2010, Arch. Math. Log..
Julia F. Knight, Sy-David Friedman, Ekaterina B. Fokina, 2013, J. Log. Comput..
Wesley Calvert, Russell G. Miller, Ken Kramer, 2011, Log. Methods Comput. Sci..
Steffen Lempp, Russell G. Miller, Reed Solomon, 2005, Journal of Symbolic Logic.
Johanna N. Y. Franklin, Russell G. Miller, Asher M. Kach, 2013, CiE.
Russell G. Miller, Hans Schoutens, Russell G. Miller, 2012, Comput..
Valentina S. Harizanov, Russell G. Miller, 2007, J. Symb. Log..
Russell G. Miller, 2007, CiE.
Joel David Hamkins, Samuel Coskey, Russell G. Miller, 2012, Comput..
Iskander Sh. Kalimullin, Russell G. Miller, Andrey Frolov, 2009, CiE.
Barbara F. Csima, Antonio Montalbán, Valentina S. Harizanov, 2011, J. Symb. Log..
Julia F. Knight, Valentina S. Harizanov, Sergei S. Goncharov, 2005, Ann. Pure Appl. Log..
Joel David Hamkins, Russell G. Miller, Russell G. Miller, 2009, Ann. Pure Appl. Log..
Wesley Calvert, Russell G. Miller, Ken Kramer, 2010, CCA.
Matthew Harrison-Trainor, Antonio Montalbán, Alexander G. Melnikov, 2017, J. Symb. Log..
Alexandra Shlapentokh, Bjorn Poonen, Russell G. Miller, 2015, The Journal of Symbolic Logic.
Russell G. Miller, David Marker, 2017, J. Symb. Log..
Merlin Carl, Peter Koepke, Tim Fischbach, 2010, Arch. Math. Log..
Rebecca M. Steiner, Russell G. Miller, Reed Solomon, 2014, CiE.
Wesley Calvert, Russell G. Miller, W. Calvert, 2009, UC.
Rebecca M. Steiner, Karen Lange, Russell G. Miller, 2018, Notre Dame J. Formal Log..
Denis R. Hirschfeldt, Sergei Podzorov, Russell G. Miller, 2007, Notre Dame J. Formal Log..
Joel David Hamkins, Russell G. Miller, Russell G. Miller, 2007, CiE.
Joel David Hamkins, Russell G. Miller, David Linetsky, 2007, CiE.
Valentina S. Harizanov, Rumen D. Dimitrov, Russell G. Miller, 2014, CiE.
Keng Meng Ng, Russell G. Miller, 2016, J. Symb. Log..
Florin Manea, Dirk Nowotka, Russell G. Miller, 2018, Lecture Notes in Computer Science.
Russell G. Miller, 2017, CiE.
Matthew Harrison-Trainor, Antonio Montalbán, Russell G. Miller, 2016, The Journal of Symbolic Logic.
Valentina S. Harizanov, Iskander Sh. Kalimullin, Oleg V. Kudinov, 2012, J. Log. Comput..
Peter Koepke, Russell G. Miller, P. Koepke, 2008, CiE.
André Nies, Keng Meng Ng, Egor Ianovski, 2014, J. Symb. Log..