Publisher： Cambridge University Press
E-ISSN： 1943-5886|68|4|1082-1090
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.68, Iss.4, 2003-12, pp. : 1082-1090
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
Logspace Optimization Problems and Their Approximability Properties
By Tantau Till
Theory of Computing Systems, Vol. 41, Iss. 2, 2007-08 ,pp. :
Access to resources
Recommend
A formal theory of objects, space and time
The Journal of Symbolic Logic, Vol. 55, Iss. 1, 1990-03 ,pp. :
A proof–technique in uniform space theory
The Journal of Symbolic Logic, Vol. 68, Iss. 3, 2003-09 ,pp. :
Every recursive linear ordering has a copy in DTIME-SPACE(
The Journal of Symbolic Logic, Vol. 55, Iss. 1, 1990-03 ,pp. :
Foundation versus induction in Kripke-Platek set theory
The Journal of Symbolic Logic, Vol. 63, Iss. 4, 1998-12 ,pp. :