您的位置： 专家智库 > >

梁云

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

合作作者

文献类型

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

领域

  • 2篇理学

主题

  • 2篇拓扑
  • 2篇SCOTT拓...
  • 2篇WAY-BE...
  • 2篇DOMAIN
  • 1篇度量空间
  • 1篇连续函数
  • 1篇函数
  • 1篇函数空间

机构

  • 2篇四川大学

作者

  • 2篇梁云
  • 1篇梁基华

传媒

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

年份

  • 2篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
关于积Domain上的Scott拓扑及相关问题的讨论
在计算机科学中，我们使用拓扑来描述信息的逼近状态，Domain上的Scott拓扑是最基本的拓扑。一个自然的问题是：对任意一族dcpo{L/_i：i∈I}，其积Domain∏L/_i上的Scott拓扑是否与其上积拓扑∏σ/...
梁云
关键词：SCOTT拓扑WAY-BELOW关系
文献传递
关于积Domain上的Scott拓扑和连续函数Way-below关系的一点讨论被引量：10
2004年
对任意一族具有小元的dcpo {Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way-below关系的一些结果.
梁云梁基华
关键词：SCOTT拓扑WAY-BELOW关系函数空间
全选 清除 导出
共1页<1>
聚类工具0