Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability.

Cristian S. Calude, Kohtaro Tadaki

Browse the full UC paper archive.