您的位置： 专家智库 > >

韩本三

作品数：2 被引量：0H指数：0
供职机构：四川大学数学学院更多>>
发文基金：国家教育部博士点基金国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇理学

主题

  • 2篇DOMAIN

机构

  • 2篇四川大学

作者

  • 2篇韩本三
  • 1篇梁基华

传媒

  • 1篇四川大学学报...

年份

  • 2篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
关于混合Domain的几个问题
2004年
研究了Lawson紧的连续domainD的混合幂domainM(D),给出了M(D)的极大元的刻画.证明了M(D)是其极大点空间Max(M(D))的domain环境,同时证明了FB domain关于混合幂domain构造是封闭的.
韩本三梁基华
混合幂domain的极大点空间及其对某类domain结构的封闭性
为了模型化不确定计算而引入的幂domain已成为程序设计语言指称语义学研究中最重要的构造,几个经典的幂domain构造已经被广泛的研究(见[5]).C.A.Gunter在[6]中引入了混合幂domain的概念.并证明了当...
韩本三
文献传递
全选 清除 导出
共1页<1>
聚类工具0