|
|||||
|
|
| 关于概率幂domain的一个注记 | |
| 引用本文： | 赵浩然,寇辉. 关于概率幂domain的一个注记[J]. 四川大学学报(自然科学版), 2012, 49(4): 743-746 |
| 作者姓名： | 赵浩然 寇辉 |
| 作者单位： | 四川大学数学学院;四川大学数学学院 |
| 基金项目： | 国家自然科学基金(10871137) |
| 摘 要： | 概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和Plotkin证明了连续domain的概率幂domain连续.本文证明了若D是拟连续domain或SL-domain,则D的概率幂domain连续当且仅当D连续. |
| 关 键 词： | 概率幂domain 拟连续domain 交连续 连续domain |
| 收稿时间： | 2011-05-06 |
A note on probabilistic powerdomain |
|
| ZHAO Hao-Ran and KOU Hui. A note on probabilistic powerdomain[J]. Journal of Sichuan University (Natural Science Edition), 2012, 49(4): 743-746 | |
| Authors: | ZHAO Hao-Ran and KOU Hui |
| Affiliation: | College of Mathematics, Sichuan University;College of Mathematics, Sichuan University |
| Abstract: | |
| Keywords: | probabilistic powerdomain quasicontinuous domain meet continuous continuous domain |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《四川大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《四川大学学报(自然科学版)》下载全文 | |