# Post's Problem for Ordinal Register Machines

• J. D. Hamkins and R. Miller, “Post’s Problem for Ordinal Register Machines,” in Computation and Logic in the Real World—Third Conference of Computability in Europe CiE 2007, Siena, Italy, 2007, pp. 358-367.
@INPROCEEDINGS{HamkinsMiller2007:PostsProblemForORMs,
AUTHOR = "Joel David Hamkins and Russell Miller",
TITLE = "Post's Problem for Ordinal Register Machines",
BOOKTITLE = "Computation and Logic in the Real World---Third Conference of Computability in Europe CiE 2007",
YEAR = "2007",
editor = "Barry Cooper and Benedikt {L\"owe} and Andrea Sorbi",
volume = "4497",
number = "",
series = "Proceedings, Lecture Notes in Computer Science",
}