Russell G. Miller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
2
Active years
2007–2023
Best venue rank
C
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CiE | Direct Construction of Scott Ideals. | Russell G. Miller |
| 2019 | CiE | Degree Spectra for Transcendence in Fields. | Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens |
| 2017 | CiE | Computable Transformations of Structures. | Russell G. Miller |
| 2014 | CiE | Isomorphisms of Non-Standard Fields and Ash's Conjecture. | Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad |
| 2014 | CiE | On the Effectiveness of Symmetry Breaking. | Russell G. Miller, Reed Solomon, Rebecca M. Steiner |
| 2013 | CiE | Local Computability for Ordinals. | Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon |
| 2009 | CiE | Spectra of Algebraic Fields and Subfields. | Andrey N. Frolov, Iskander Sh. Kalimullin, Russell G. Miller |
| 2009 | UC | Real Computable Manifolds and Homotopy Groups. | Wesley Calvert, Russell G. Miller |
| 2008 | CiE | An Enhanced Theory of Infinite Time Register Machines. | Peter Koepke, Russell G. Miller |
| 2007 | CiE | The Complexity of Quickly ORM-Decidable Sets. | Joel David Hamkins, David Linetsky, Russell G. Miller |
| 2007 | CiE | Post's Problem for Ordinal Register Machines. | Joel David Hamkins, Russell G. Miller |
| 2007 | CiE | Locally Computable Structures. | Russell G. Miller |