TY  - RPRT
TI  - Spectral Representation of Some Computably Enumerable Sets With an Application to Quantum Provability
AU  - Cristian S. Calude
AU  - Kohtaro Tadaki
PY  - 2013
DO  - 10.1007/978-3-642-39074-6_6
UR  - https://arxiv.org/abs/1303.5502
ID  - 1303.5502
ER  -