Linköping University
Department of Computer and
Information Science
Publication
Register
A decidable canonical representation of the compact elements in Scott's reflexive domain in P-omega
.
Available from the author(s).
First publication
This paper has been accepted on 1997-01-25 for publication
in the journal Theoretical Computer Science.
Comments and amendments
None so far.
Registration information
This article is registered in the IDA Publication Register with
register number 1997-004.
The present page will be permanently maintained at the following URL:
http://www.ida.liu.se/ext/pur/1997/004.html,
and it is intended to be updated with current information about the
article, its present availability, corrections and amendments, etc.
The URL is therefore suitable as a key to the article.
This page is maintained by
[EMTEK];
latest update 05.05.1997