The reflexive domain of CPO's ideals
A reflexive structure is a triple (D, i,j), where D is an algebraic structure, and i : [D —• D] —> D, j : D —• [D —• D] are mappings such that i o j = id[D-tD\- W e study reflexive structures in which the basic algebraic structure is a complete partially ordered set (cpo), and only continuous fun...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
1996
|
| Sorozat: | Acta cybernetica
12 No. 3 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12559 |
| Tartalmi kivonat: | A reflexive structure is a triple (D, i,j), where D is an algebraic structure, and i : [D —• D] —> D, j : D —• [D —• D] are mappings such that i o j = id[D-tD\- W e study reflexive structures in which the basic algebraic structure is a complete partially ordered set (cpo), and only continuous functions over cpo's axe considered. W e use the concepts, notations, results and techniques of domain theory [4, 7, 9]. W e work with the ideals of some special cpo's. W e present a reflexive domain of these ideals. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 249-260 |
| ISSN: | 0324-721X |