Uniqueness of Scott's reflexive domain in P

Author： Drakengren T.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.155, Iss.1, 1996-02, pp. : 267-276

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A decidable canonical representation of the compact elements in Scott's reflexive domain in P

By Drakengren T.  

Theoretical Computer Science, Vol. 193, Iss. 1, 1998-02 ,pp. : 181-195

Elsevier

Access to resources Recommend Favorite

Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces

By Flagg B.   Kopperman R.  

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite

Least Reflexive Points of Relations

By Desharnais Jules  

LISP and Symbolic Computation, Vol. 18, Iss. 1-2, 2005-06 ,pp. : 51-77

Springer Publishing Company

Access to resources Recommend Favorite

Scott Induction and Equational Proofs

By Esik Z.   Bernatsky L.  

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-28

Elsevier

Access to resources Recommend Favorite

Reflexive thought-ecologies: a reflection on practice

By Varey William  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 42, Iss. 9-10, 2013-10 ,pp. : 1470-1478

Emerald Group Publishing Ltd

Access to resources Recommend Favorite