[bibtex key=HamkinsWelch2003:PfneqNPf]
Abstract. We discuss the question of Ralf-Dieter Schindler whether for infinite time Turing machines
[bibtex key=HamkinsWelch2003:PfneqNPf]
Abstract. We discuss the question of Ralf-Dieter Schindler whether for infinite time Turing machines
Pingback: P not= NP intersect coNP for infinite time Turing machines | Joel David Hamkins