Author： Blanck J.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.219, Iss.1, 1999-05, pp. : 19-48
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
Computability on subsets of Euclidean space I: closed and compact subsets
Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. :
Access to resources
Recommend
On compact representations of propositional circumscription
By Cadoli M. Donini F.M. Schaerf M. Silvestri R.
Theoretical Computer Science, Vol. 182, Iss. 1, 1997-08 ,pp. :
Explicit versus implicit representations of subsets of the Herbrand universe
By Pichler R.
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :
Domain representations of topological spaces
By Blanck J.
Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. :
Effective metric spaces and representations of the reals
Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. :