Witnessing functions in bounded arithmetic and search problems
Chiari, Mario, Krajíček, JanVolume:
63
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2586729
Date:
September, 1998
File:
PDF, 1.36 MB
english, 1998