期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

R-偏序集及其Scott拓扑 被引量：3

R-poset and its Scott Topology
下载PDF
导出
摘要 本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑. In this paper, we propose an approach approach further through the examples of transition topology on R-poset. to construct a R-poset from a set, and describe this system and partial simulation. We establish the Scott topology on R-poset
作者 高泾萍 何伟 樊磊 李娜
机构地区 中央民族大学数学与计算机科学院 首都师范大学教育技术系
出处 《中央民族大学学报（自然科学版）》 2006年第4期330-333,共4页 Journal of Minzu University of China(Natural Sciences Edition)
关键词 R-偏序集 SCOTT拓扑 迁移系统 部分模拟 R-poset Scott topology transition system partial simulation
分类号 O174 [理学—基础数学]
  • 相关文献

参考文献1

  • 1冀文.信息序的逼近与广义链完备化[D]首都师范大学,2005.

同被引文献15

  • 1Luis Monteiro. Semantic domains based on sets with families of equivalences [ J ]. Electronic Notes in Theoretical Computer Science, 1998,11 : 251 - 282.
  • 2Rutten J J M M. Elements of generalized uhrametric domain theory[ J]. Theoretical Computer Science, 1996,170:349 - 381.
  • 3Mislove M W. Topology, domain theory and theoretical computer science[J]. Topology and its Applications, 1998,89:3 - 59.
  • 4Samson A,Achim J.Domain theory[M].Handbook of Logic in Computer Science,Clarton Press,1995.
  • 5Viggo S H,Ingrid L,Edward G R.Mathematical theory of domains[M].London:Cambridge University Press,1994.
  • 6Abramsky S, Jung A. Domain theory. Abramsky S, Gabay D, Maibaum T S. Handbook of logic in computer science, vol. 3. Oxford University Press, 1995:1 - 168.
  • 7Stoltenberg-Hansen S, Lindstr-m I, Griffor E R. Mathematical theory of domains[M]. Cambridge University Press, 1994.
  • 8Smyth M B. Quasi uniformities: Reconciling domains with metric spaces[C]//Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics, APR. 8- 10, 1987. Lecture Notes in Computer Science ,Vol. 298. Berlin: Springer-Verlag, 1988 : 236- 253.
  • 9Rutten J J M M. Elements of generalized ultrametric domain theory. Technical Report CS-R9507,CWI, Amsterdam, 1995.
  • 10Monteiro L. Semantic domains based on sets with families of equivalences [J]. Electronic Notes in Theoretical Com0uter Science, 1998,11 : 1- 34.

引证文献3

二级引证文献3

中央民族大学学报（自然科学版）
2006年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部