Author： Blanck
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.284, Iss.2, 2002-07, pp. : 207-240
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
Domain representations of topological spaces
By Blanck J.
Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. :
Access to resources
Recommend
Constructive domain theory as a branch of intuitionistic pointfree topology
By Sambin G. Valentini S. Virgili P.
Theoretical Computer Science, Vol. 159, Iss. 2, 1996-06 ,pp. :
Partial confluence of processes and systems of objects
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :
By Manolios Panagiotis Moore J Strother
Journal of Automated Reasoning, Vol. 31, Iss. 2, 2003-01 ,pp. :