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

Publisher： Elsevier

ISSN： 0304-3975

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

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

Uniqueness of Scott's reflexive domain in P

By Drakengren T.

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

Elsevier

Access to resources Recommend Favorite

Canonical representation of the path following problem for wheeled robots

By Pesterev A. Rapoport L.

Automation and Remote Control, Vol. 74, Iss. 5, 2013-05 ,pp. : 785-801

MAIK Nauka/Interperiodica

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

Compact DAG Representation and Its Dynamic Scheduling

By Cosnard M. Jeannot E.

Journal of Parallel and Distributed Computing, Vol. 58, Iss. 3, 1999-09 ,pp. : 487-514

Academic Press

Access to resources Recommend Favorite

A representation of stably compact spaces, and patch topology

By Coquand T. Zhang G.-Q.

Theoretical Computer Science, Vol. 305, Iss. 1, 2003-08 ,pp. : 77-84

Elsevier

Access to resources Recommend Favorite