Publisher： Cambridge University Press
E-ISSN： 1469-8064|162|3|447-477
ISSN： 0305-0041
Source： Mathematical Proceedings of the Cambridge Philosophical Society, Vol.162, Iss.3, 2017-05, pp. : 447-477
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
Hyperbolicity related problems for complete intersection varieties
Compositio Mathematica, Vol. 150, Iss. 3, 2014-03 ,pp. :
Effectivity and effective continuity of multifunctions
The Journal of Symbolic Logic, Vol. 75, Iss. 2, 2010-06 ,pp. :
NP search problems in low fragments of bounded arithmetic
The Journal of Symbolic Logic, Vol. 72, Iss. 2, 2007-06 ,pp. :
Witnessing functions in bounded arithmetic and search problems
The Journal of Symbolic Logic, Vol. 63, Iss. 3, 1998-09 ,pp. :