Polynomial-time Algorithms from Ineffective Proofs.

Paulo Oliva

Browse the full LICS paper archive.