期刊文献+

Scott连续自映射的不动点 被引量:5

原文传递
导出
摘要 通过研究连续Domain上Scott连续自映射 (特别是L domain之间的稳定映射以及FS domain之间的一致交换映射 )的不动点全体之集的性质 ,对Lawson和Mis love于 1 990年提出的一个问题作出了回答 .
作者 寇辉 罗懋康
出处 《中国科学(A辑)》 CSCD 北大核心 2001年第6期523-528,共6页 Science in China(Series A)
基金 国家自然科学基金 (批准号 :10 0 710 5 3) 教育部"跨世纪优秀人才计划"及博士点基金资助项目
  • 相关文献

参考文献2

二级参考文献16

  • 1徐晓泉.M-连续格到Hilbert方体的嵌入[J].数学学报(中文版),1995,38(6):827-830. 被引量:6
  • 2Liu Y M,Top Appl,1996年,69卷
  • 3Jung A,Logic in Computer Science,1990年
  • 4Kamimura T,Lecture Notes in Computer Science,1986年,239页
  • 5Jung A,CMI Tracts.66
  • 6Jung A,On the duality of compact V S open
  • 7Jung A,Uniform approximation of topological spaces
  • 8陈仪香,Computer Math Appl,1997年,34卷,1期,27页
  • 9刘应明,Top and its Appl,1996年,69期
  • 10郑崇友,Frame与连续格,1994年

共引文献14

同被引文献24

  • 1寇辉,罗懋康.Fixed points of Scott continuous self-maps[J].Science China Mathematics,2001,44(11):1433-1438. 被引量:2
  • 2王习娟,徐罗山.FS-相容Domain的定向完备化及相关范畴性质[J].模糊系统与数学,2005,19(3):82-87. 被引量:7
  • 3管雪冲.一些Scott连续自映射的不动点集的性质[J].徐州师范大学学报(自然科学版),2005,23(4):32-34. 被引量:2
  • 4王习娟.相容L-domain范畴的笛卡儿闭性[J].连云港师范高等专科学校学报,2006,23(3):77-79. 被引量:4
  • 5Gierz G, Hofmann K H,Keimel K,et al. Continuous Lattices and Domains [ M]. Cambridge:Cambridge University Press,2003.
  • 6Lawson J D, Mislove M. Domain theory and topology[C ]//van Mill J, Reed G M. Open Problems in Topology. Amsterdam:North- Holland, 1990:351 - 372.
  • 7Abramsky S,Jung A. Domain Theory[ M]//Abramsky S,Gabay D M ,Maibanm E,et al. Handbook of Logic in Computer Science. New York : Springer-Verlag, 1994 : 1 - 60.
  • 8ABRAMSKY S, JUNE A. Domain theory[M]//ABRAMSKY S, GABBAY DOV M, MAIBAUM T S E. Handbook of Logic in Computer Science. Oxford: Clarendon Press, 1994: 1-168.
  • 9GIERZ G, HOFMANN K H, KEIMEL K, et al. Continuous lattices and domains[M]. Berlin: Springer-Verlag, 2003.
  • 10JUNG A, The classification of continuous domains[M]// Logic in Computer Science. California: IEEE Computer Society Press, 1990: 35-40.

引证文献5

二级引证文献20

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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