TY  - RPRT
TI  - P not= NP for infinite time Turing machines
AU  - Ralf Schindler
PY  - 2001
UR  - https://arxiv.org/abs/math/0106087
ID  - math/0106087
ER  -